案上齐齐整整的屋子粘稠，，几丝青烟缭绕。整间房间的每一寸都照亮。此书桌上还有一方砚码里看不着。书斋的主人更加。台。砚中有墨，均匀到任何光源，但是一尊香炉之中的光，就是将不知从何而来上好的大幅宣纸在似是油又偏好软笔，因似是水。一杆毛笔隔着
那些墨，仿佛在等待成惊世刻。，等待着自己变文章的一
术效果。，这墨似台上自带的法些那杆笔，已经许可实际上新磨，也只是砚久未动了。
已经僵墨与笔的主人，在这里好久了。
都都会被奉为墨宝。虽份才是真正的极极好。但是，他然他什么字，在外面高。算主希柏澈，无论写的的字确实是身
的一日。可是，这样一位神人，也有愁眉不展
神当中，有着掩饰不住摇的焦虑。摇头，宁静悠远的眼有进展。”他“唉……还是没
在是渺小。己的一切。成果也不能说没有，但是不值一提的雄心壮志相比实。与他自己些日子，他倾尽了自这
”希柏澈的弟子之看着：“最在他身后担忧的…”一“老师…近您好像太过忧虑了……
算道，“绝无抗手的的人物杀过来，我若不算君啊……仅论算君。这样是啊。”算主长叹：“。”怕，那边不是我的了
而然的，他算主非是天才。以同同辈当中的天才了他的后面。，就已落在持不懈。自辈的话而论，他是勤勉修持努力类的自身，坚天才”，以然“
这一生，并他也不羞于非没有败过、没有怕谈论这些…过。因此，他…
到什么就说什么。自然而然，想
休息，散散心。看，三五年前我并非非得攻克不可。您“老师，您或们已经证出了完这一关常那样休息许可以向往分支系统的完，其备律备性……”实算学不少
是听到了什么你最近是不出这个学消息？”“何科。”希柏澈一口叫生的名字：“
：“最近…一。感情与算主后来的位弟子之这位半有些不敢去看步逍遥的…我和何师弟接触过自弟子自是不一样。他己老师的背影，低头道修士，乃是他早年的几了……”
何科这种更加年长都尊称他为师兄。但是何外尔是算主就有成就的弟子。算的，则称之为师弟。主的不少弟子
了。他说什么了？”露出了头疼的表情：“外尔啊…伙信了连宗之后，就变…那家希柏澈
风，事情口似乎真的很不妙……”“我探过他的
“看起来一两域吧？哼。”。不以为意：“我理论的漏洞我找出屑于思考这个领很多，他若是能够样，我倒是感激不尽算君还是有些本事的。”算主点点头帮。只不过，他应该不
…，冯先生…何科咬咬牙：“还有他们都担心您冯先生也知道。只是，挺不过去……”
起来，真的是大问题啊。能有多呢？我到底是……”表情有些凝重“我祟的这这样吧？”希柏澈祟说我这老朋友最近怎么鬼鬼，原来了：“哪里基础看
完备性……有往“完备性”一路都没的思……冰凉：到现在，老师何科心中上靠不怀疑算学的他根本片
“老师，我们还外证备性……有退明系统的完通过路的。我们还是能够”超穷归纳法。从系统
他就说不下去了要沿着这个证明，“着他。那黑色久。算主的眼睛盯停滞了许久的证明。他的无边的魄力仿佛想。。很快，才将目光拉看到”算学的彼岸何科没有说太。过了好一会，算主眸子似乎有回到那个自己已经
道…“我们必须知道，我们必将知…”
他轻声呢喃。
，我最近的思路了。”王崎“总而言之一脸平淡的对着冯落衣汇报了自己的思路。
藏着掖着，但是有些时候说出来所谓的“思路”，也无妨。有些时候是需要
路个思。对于冯落衣来说王崎的这，就是这样
冯落衣已经修士脱那个所谓的想的。还有摆。这位大算家心中所“终极图景”够打动他了。求得大道，。除此之外，再都没有更高的要求了也没有什么利无益能另外非就是是巅顶的了。无论命还是利，他
后辈越多越讲，冯落衣以说是不遗余力。现他的理倒好。从这持当真可对王崎的支想。王崎这种有天分的不如说，为了实个层面来
已经“登顶”的家伙因。这也不吝啬于提携后辈的原是那些
考王崎的思路。他竟好似势，要杀穿这个二十三问啊。”冯落衣则在脑海当中思想到：“看你这态
。解决三个问题当，不敢。”王崎要要有“不敢？就算在地球，这二十依旧有数问是悬而其中的一两问所有。二十三问何其可怕能够解决信心独立中未决的。他就算有，也不敢说
要再添上第说不定一举击知道呢？还冯落衣摇摇头：“以穿第二问一、第十问唔，我就没看出来，你年前吧，五六后的事情。谁居然能够循着那个问。”完备性，
是很喜“不过……欢走弯路。””冯落衣的眼神突然锐起来：“你好像总利
“弯路？”
？为什么王选啊法才是完美解决连崎错愕。力迫是弯路？续统假设问题的不二之
立集合在无限无限的大小……”近看到了一可建同和成一个系统，“我最，很有趣。”冯落，道：“将所有个思路，很奇特衣盯着王崎的眼睛中比较
想出来了？”王崎错愕：“有人
当德尔证明连续统假设这就是的思路！初哥
统具备一致性，则公理系设为真。在zf公理续统假设无，证明，若是zf连续在zf公理允许的范围体系之内，连统假法被证伪。之内作推到
对于二十三问来说，完美的答案了。这应该已经算是一个
但是，“不能”。证伪”并不实代表“证
公理系统之内样可以证出，在zf沿着这个思路，人们同能证实。，连续统假设不
合论的就是对“可判定性换句话说”的一范畴之内，是一个点，那么不用严格证反例。结论再早个绝对“不能证实也不题。如果”的明第十问，这性的问一，连续统问题在集能证伪可判定具备了不这个
系之只有在现有公理体外，才能证明。
系的束缚体，自开体系力迫法，就是冲出原有公理、自定道路。
？基么这个“自创”的但是，若试集合论石基石，系统，又应之外？算学之内那？该怎么算、现有公理系统为
这也是力迫法重大意义的来源。
思路，你也想到过是吧？”个听到王衣眼光一闪：“这崎的惊呼，冯落
度，科尔的思路。除非是还有的时候去只能这么说了。傻了疯了，不然一般人若论理论论证不大喜欢。”王崎都不会在前方“隐约想到过，但是哥德……闯出这条路的。恩的力迫法远远不及过程的简明、流畅程
：“数年之前，似乎也道路，走了‘路，才是唯一的的远摇头，罕见的没有你前，原来常的’，直到前些日子抛出不全之律，破冯落衣摇歪路了那完全之念生过这种事啊…里般人觉得正正路。”几年绕…你训斥王崎，只是感叹发，我才发现‘直觉’？”“又是没有根据的避开了一
性的该根据自。明算术系前后，用超限归纳法证系统完备”出发，从一辑是王崎获得道种赏冯落衣所指的，乃按照一般人所想，他应。统一致阶推道路己证明的“一阶谓词逻向高阶
择的，却是一条证明系统内无矛盾。在系统外无比远的路但是，王崎当时选
傻系统外绕一圈，这不是，非要到吗？众人会奇怪，明明有一条通天坦途，你偏不走
这个系统是做不到“不当时，只有王崎明白，假外求”的。他绕的那一圈，才是必须的。
旧是不过，这一次就不大一尔的那个证明样了。哥德迫法那际上，这依，没有力迫法那样义大思路，只不过没有力实样意无可辩驳的力度。一条正路。
应当是没有……真的只是个人喜好：“这他只能说的问题。那个思路，错的。”道
也不知听没听进去。头，“哦。”冯落衣点点
奇了：“那个思路的“对了，老师提出者，到底是谁。”王崎突然有？”些好
哥德尔大神一模一样的思路？然可以独到底是哪来的奇葩，居立思考出和
门衣笑道：“你应冯落真传，苏万法君宇。”该也认识。
括逻辑吗？”王崎错愕。“苏师兄？他的领域包
习逻辑非印象当中，苏君嘛！个家伙学习的领他那一啊天脑子一抽跑去学不是没有接触逻辑……额？如果这一，这块的可能性么想来的话，他好像也常有可能域非常杂，好和几何都有，主要是概率像是什么宇那
真是奇脚。他本人其实不过，这还不感兴趣，所大意义。妙的重合之处啊。王以想要跨领域去掺一不是算学逻辑。他对第一问最能理解力迫法的巨开始只是单纯始者科恩，研究领域就崎想到：力迫法的创
出了大成问的领未完待续。)腿掺这样想的吧……想要在第一苏君宇估计也是就。(域掺一脚，结果这一
qps：依旧卡文中qa