“寻觅……寻觅比ZF公理下可建立调集更小的调集……”
“起首，是哥德尔对这个题目的证明。”
并且，这个时候能够呈现的清闲级服从，除了二十三问当中的第二问——“完整性证明”外，还能是甚么？
“停一下！”高继扬制止了苏君宇，然后用手指在半空当中画了一个圆。六合灵气顺着他的意志会聚到这个圆环以内，化成一个成熟的法度。这个灵光圈就如许圈住了苏君宇四周的这一圈人。
另一个熟谙苏君宇的修士问道：“元神……你现在方才金丹三四年吧？”
比来几日，这个集训之地都是暮气沉沉的。一群信心必定要被反对的算家在一起学习交换，就仿佛是一群死囚在抱团取暖。
“元神的门路啊。不，如果我真的处理了这个题目。说不定除了元神以外，连炼虚涅槃都是铁板钉钉的事情。”苏君宇神采极度亢奋：“这有能够是清闲级别的服从！”
苏君宇摆摆手：“还不到恭喜的时候啊。我感受我偶然当中找到了一个严峻的方向……如果胜利的话，元神有望。”
王崎奋笔疾书。一时之间，书房里就只剩下笔尖与纸张摩擦的声音。
在王崎的思虑当中，他体内的法力再次产生纤细的窜改。
苏君宇点点头：“好，那我就说一说好了。持续统你们晓得吧？”
在地球的汗青上，以希尔伯特为首的一部分数学家，一向到死都疏忽着哥德尔。此中当然有很大一部分启事是理念之争、信奉之争，他们底子没法接管哥德尔的实际。
薄笑风虎躯一震。他晓得苏君宇正在思虑甚么。固然各种迹象都表白，或许已经有前辈证了然那“不完整”——就算不是，起码也是否定了算主的思路。
“换句话说，持续统假说，实在是一个不成鉴定题目。它独立于调集论以外，不管是建立还是不建立，不管你是接管它还是不接管它，都不影响甚么。”
而这也是最关头的部分。“力迫法”的意义，并不但仅在于持续统。它的呈现，使得数学家能够发明去多其他独立于ZF公理体系的命题。
更多的人围向了苏君宇。薄笑风最早勉强道：“苏君宇……恭喜……恭喜啊……”
高继扬沉声道：“我们或答应以猜想，第二问被人处理了。但是。目前还没有迹象表白，第一问也被其别人处理了。以是，这个设法，应当还属于苏师弟一小我的。”