第225章 173陈博士无欲无求 (第5/8页)

体系将集合的构造公理化，来排除了像罗素悖论中这样的集合的存在性，算是解决了这场数学危机。

    ??也就是在同一年，希尔伯特想到为已经爆发了三次的数学危机，找到一种普适的解决方案。

    ??他提出了一个名为希尔伯特计划的想法，提出将所有现有理论都建立在一组有限的完备的公理上，并给出这些公理是一致的证明。

    ??希尔伯特希望数学是完整的，也是可判定的，希望数学建立在严谨的逻辑之上，是世界上最无懈可击的真理。

    ??希尔伯特计划中有这样一条，也就是所谓的完备性，人们可以从公理出发，推导出所有的定理来。

    ??如果推导不出来，那不是上面这条完备性出了问题，而是个人能力出了问题。

    ??公理是人们在长期实践中总结出来的基本数学知识，并作为判定其它命题真假的根据，不能被证明也不需要被证明。

    ??而定理，则是从公理出发，用推理方法得到的真命题。

    ??希尔伯特是当今世界上最伟大的数学家，他的话一言九鼎，很有号召力。

    ??从他提出这个计划开始，数学家们就一直坚信这个计划是正确的，也都一直在试图证明它是正确的。

    ??只是很多年过去，数学家们谁也没能得到这个证明。

    ??在原时空直到1931年，才被哥德尔证明了另外一点，在一个公理系统中，总有至少一个命题是不能证明是真是假的，想要证明或者证伪这些命题，就必须要使用到系统之外的新公理。

    ??这是哥德尔不完