登录

有穷方法论限制之下

描述

所以，哥德尔原本试图要证明的、希尔伯特猜想的形式算数系统的一致性，在希尔伯特设定的有穷方法论限制之下，是不可能被证明的。

文章