摘要： 昨晚翻看了那本《数学的源与流》，又看到了哥德尔的定理， 那令人禁不住大骂：”草，这都可以有！“的定理，现在的数学推理方法都是基于一系列公理，定义，用逻辑的方法进行演绎，所以保证了定理的真理性。20世纪的数学大师希尔伯特希望将每个数学分支都这样公理化。如果成功，数学岂不是完美了？这时候25岁的丹麦数学家，逻辑学家哥德尔跑了出来，写下了两个定理：1.任意包含自然数系的相容的形式体系F（希尔伯特的公理化体系），存在F中的不可证明命题S，即S和非S都不可证明，即非完全性。2.任意包含自然数系的相容形式体系F（希尔伯特的公理化体系），F的相容性不可能在F中得到证明。美国的逻辑学家Chursh后来又补充了 阅读全文