————————
特勤舰离开新澳城，穿越黎明前的黑暗，飞向中京。
指挥舱中央，李凉静静站在驾驶飞船的仿生人身后，似乎在观察仿生人的操作。
角落里，K揽着锡森博士，低声问道：“那个什么哥特尔定理是什么意思？”
附近的该隐和水野同时看了过来。
锡森博士这会儿有点心虚，干笑了两声说道：“一个包含皮亚诺算术的形式系统如果是一致的那么是不完备的，而且该系统的一致性不能在系统内部证明。”
“简单说就是一个没有矛盾的公理体系，总会有一些命题是搞不清楚对还是错的，如果你发现一个命题通过现有的方法、公理和定理一直得不到证明，应该尝试扩展现有的方法和公理体系来进一步研究。”
K纳闷道：“意思是一种方法解决不了问题就换一种方法，这也算定理？”
内容未完，下一页继续阅读