Francis Bessi\`ere Un nouveau regard sur les fondements

Abstract

We draw attention to a manuscript submitted to the HAL Open Archives by Francis Bessi\`ere, where he tries to base mathematics on a translative theory that could be shown consistant using only finitist methods, thus bypassing the impossibility shown by G\"odel for deductive theories, such as [ZF], for example.