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