何科没有说太久。算主的眼睛盯着他。那黑色的眸子似乎有无边的魄力。很快，他就说不下去了。过了好一会，算主才将目光拉回到那个自己🅱已经停🄁滞了许久的证明。他仿佛想要沿着这个证明，“看到”算学的彼岸。
“我们必须知道，我们必将知道……”
他轻声呢喃。
“总而言之，我最近的思路了。”王崎一脸🃒🗑🚽平淡的对着冯落衣汇报了自己的思路。
所谓的“思路”，有些😄时候是需要藏着掖着，但是有些时候说出来也🄓☭🂬无妨。
王崎🃡🙖的这个思路对于🍦冯落衣来说，就是这样。
冯落衣已经是巅顶的修士了。无论命还是利，他都没有更高的要求了。这位大算家心中所想的。无非就是求得大道，另外还有摆脱那个所谓的“终极图景”。除此之外，再也没有什🌲🂾🔝么利益能够打动他了。
倒不如说，为了实现他的理想。王崎这种有天分的后辈越多🐮🃍🖡越好。从这个层面来讲，冯落衣对🖾王崎的支持当真可以说是不遗余力。
这也是那些已经“登顶”的家伙不吝🏆啬于提携后辈的原因。
冯♳🌜⛥落衣则在脑海当中思😄考王崎的思路。他想到：“看你这态势，竟好似要杀穿这个二十三问啊。”
“不敢，不敢。🚰🖾😒”王崎要要有。二十三问何其可怕？就算在地球，这二十三个问题当中🎯🔤🂦依旧有数问是悬而未决的。他就算有信心独立解决其中的一两问，也不敢说能够解决所有。
冯落衣摇摇头：“以后的事情。谁知道呢🞰？五六年前吧，我就没看出来，你居然能够循着那个完💶备性，一举击穿第二问、第十问唔，说不定还要再添上第一问。”
“不过……”冯落衣的眼神突然锐利起来：“你好像总是很🐮🃍🖡喜欢走🛪🟋弯路。”
“弯路？”
王崎错愕。力迫法才是😄完美解决连续统假🞰设问题的不二之选啊？为什么是弯路？
“我最近看到了一个思路，很奇特，很有趣。”冯落衣盯着王🛌🚻😢崎的眼睛，道：“将所有可建立集合同和成一个系统，🏄🗥在无限中比较无限的大小……”
王崎错愕：“有人想出来了？”
这就是当初哥德尔证明连续统假设的思路！
在zf公理允许的范围之内作推🔔⛼到，证明，若是zf公理系统具备一致性，则连续统假🎯🔤🂦设为真。在zf公理体系之内，连续统假设无法被证伪。
对于二十三问来说，这应该已经算是🏆一个🞰完美的答案了。
但是，“不能证伪”并不代表“证实”。
沿着这⚻🖢个思路，人们同样可以证出，在zf公理系统之内，连续统假设不能🇧🚼证实。☈♃
换句话说😽，连续统问题在集合论的范畴之内，是🞒一个具备了不可判定性的问题。如果这个“不能证实也不能证伪”的结论再早一点，那么不用严格证明第十问，🜽这就是对“可判定性”的一个绝对反例。
只有在现有公理体系之外，才能证明。