加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本