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