Francis Bessière Un nouveau regard sur les fondements
arXiv:1901.09714
Abstract
We draw attention to a manuscript submitted to the HAL Open Archives by Francis Bessière, 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ödel for deductive theories, such as [ZF], for example.
11 pages, in French with summaries in English