青烟笔似是水。一杆毛隔着均匀粘稠，似是油整间屋幅宣纸在案上齐齐整整台。砚中有墨，的照亮。上好的大有一方笔，因此书桌上还将房间的每一寸都又砚加偏好软何光源，但是是子里看不到任一尊香炉之中，几丝斋的主人更。码着。书不知从何而来的光，就缭绕。

那些墨，仿佛在等待，世文章的一刻。等待着自己变成惊

台上自带的法术效果。是砚经许久未似新磨，也只笔，已那杆动了。可实际上，这些墨

主人，已经僵在这墨与笔的里好久了。

算主希柏澈，无论写什是极好。但是，高。他的身份才是真正的极么字，在外面虽然他的字确实墨都都会被奉为宝。

也有愁眉不展可是，神人，的一日。这样一位

进展。”的眼神当中，有着掩饰“唉……还是没有不住的焦虑。他摇摇头，宁静悠远

相比己的雄心壮志小。了自己的一切。成不值一提。与他自实在是渺果也不能说没有，但是这些日子，他倾尽

“老师……”……”他身后担忧的看着：“最近您好像太过忧虑了希柏澈的弟子之一在

，那。这样的人物杀过来，，绝无抗手的算君我若不怕边不是我的了。”“是啊。”算主长叹：“算君啊……仅论算道

类的天才”，以勤勉修。以同辈的话持自身算主非是天才自然而然的，他才，就而论，他是“持不懈。同辈当中的天努力已落在了他的后面。，坚

。因他这一生，并败此，他也不羞于谈论非没有过、没有怕过这些……

，想到什自然然而么就说什么。

。完备律这一关，其…”可以向往常那样休息实并非非少分支系统的完备性…了算学不休息，散散心经证出不可。您看，三五年得攻克“老师，您或许已前我们

什么消息？“何科。”生的名字：“你最近”希柏澈一口叫出这个学是不是听到了

主后早年的几位弟子之一。感情与算去看自己老师的背影道：“最近……我和不一样。他有些不敢这了，低头何师弟接触过……”位修士，乃是他来的弟子自是半步逍遥的

。就有成就的更加年长的，则称之为何外尔是算主是何科这种师弟子都尊称他为弟子。算主的不少弟师兄。但

？”头疼的家伙信了连宗之后，就澈露出了希柏表情：“外尔啊……那变了。他说什么了

…”似乎真的很不妙…口风，事情“我探过他的

是能够帮我找出一两样我倒是感激不尽。只不“看起来算于思考这个领若，论的漏洞很主君还是有点点理多，他些本事的。”算域吧头。不以为意：“我？哼。”过，他应该不屑

是，他何科咬咬冯先生也知道。只……们都担心您挺不过去……”牙：“还有，冯先生

看真的能有多基础呢怎么鬼鬼祟祟的是大问题啊。这样吧？”希柏澈表起来，，原来这？我到底是哪里……”情有些凝重了：““我说我这老朋友最近

…他根本不怀疑算学到现在，老师“完备”上靠性何科心中一片冰凉：的思路都没有往…的完备性……

外证明系统…”们还是还有退路的。我的完备性…能够通过超穷归纳法。从系统老师，我们“

“看到”算学的彼岸。眸子似乎有无边的魄，他就说不下去了的眼睛盯着他。那黑色的何科没有说太久。算主。过了好一快将目光拉回到那个自己已经停滞了力。很会，算主才要沿着这个证明，许久的证明。他仿佛想

“我们必须知道，我们必将知道……”

声他轻呢喃。

衣路“总而言之，我最自己的思脸平淡的对着冯落汇报了”王崎一。近的思路了。

，有些时候是的“思路所谓。些，但是有需要藏着掖着”时候说出来也无妨

冯落衣来说于王崎的这个思路对，就是这样。

。无非就是求得大道。除修士了。无论命还是，另外还有摆脱那么利益能够打动这位大算家他了。心中所想的个所谓的“终极图景”利，他冯落衣已经是巅顶的此之外，再也没有什都没有更高的要求了。

后辈倒不如说，从这个层面来讲，冯落衣对理想。王。为了实现他的多越好。可以说是不遗余力王崎的支持当真越崎这种有天分的

顶”的家后辈的原因。提携已经“登是那些伙不吝啬这也于

穿这个二到：“看你这态势，好似要杀十三问啊。”冯落衣则在脑海当中思考王崎的思路。他想竟

依旧有数问是悬而就算在地球敢说能未决的。他就算有信心“不敢，不敢。问题当中问何其可怕？独立解决其中的一两问够解决所有。，这二十三个，也不”王崎要要有。二十三

问。”你居然能够循着那个完上第一落备性，一举头：“以后的问唔，说不定还要再添前吧，我就没看出来，六年事情。谁知道呢？五衣摇摇冯击穿第二问、第十

喜来：“你好像总是很然锐利起“不过。”欢走弯路……”冯落衣的眼神突

？”“弯路

二之王崎错愕。力迫法？选啊？为什么是弯路才是完美解续统假设问题的不决连

衣盯着王个思路，我最近看到比较无限成一个系统，在很奇特，的大…”无限中“很有趣。同和冯落小…了一将所有可建立集合崎的眼睛，道：“”

王崎错愕：“有人想出来了？”

连续统假设的思路！这就是当初哥德尔证明

，证明，若是zf公理公理允许的范围之证伪。在zf推到内作公理体系之内续统假设为真。在zf设无法被系统具备一致性，则连，连续统假

是一个完美的三问来说答了。经算，这应该已对于二十案

但是，“表“证实不能证伪”并不代”。

zf公理系统之内沿着这个思路，能证实。统假设不连续人，们同样可以证出，在

，这就是”的结论再早一点，那问题在集合论的范换不能证伪反例。对“可句话题。如果这个“不说，连续统么不用严格证明第十问畴之内，是一个具能证实也定性”的一个绝对判备了不可判定性的问

只有在现有公理体系之外，才能证明。

冲出原有公理体系的束缚，自开体系、自力迫法，就是定道路。

，若？算学之内？试集合论、现有怎么算？基石之外创”的系统，又应该，那么这个“自但是理系统为基石公

的来源。也是力迫法重大意义这

个思路，这：“你也听到王崎的惊呼，冯一闪落衣眼光想到过是吧？”

”王远远闯不然一般人都不会在出这条路的。尔的思路。除非是傻过程的简明了。若论理论论证……不大喜欢。了疯了，科恩的力迫法到过，但是、流畅程度，“隐约想前方还有的时候去崎只能这么说不及哥德

的远路，才“又是没有根据唯一般那完全之念，我里抛出不全？”冯落衣摇摇头，罕是一的原来你前几正路过这种事啊……歪路’，直到前些日子之前，似乎也发生你避”年绕之律，破了，走了‘人觉得正常的道路。才发现，见的没有训斥王开了的‘直觉’崎，只是感叹：“数年

冯落衣所一般人证明算术系统一所想，他应该证明的“一发，从一阶推向高阶。，乃是王崎获得道指的词逻辑系统完种赏根据自己致性的道路。按照前备”出阶谓后，用超限归纳法

外证明系统内无矛盾。择的，却是一条无比远但是，王崎当时选的路在系统

众人会非要到系统外绕一圈吗？怪，明明有一条通天，这不是傻奇坦途，你偏不走，

是做不到“不假外求”的。他绕的那一圈，必须才是当崎明白，这个系统时，只有王的。

，没有那个证明思路，法那际上，这依旧样意义大度力一样了。哥德尔的过，这一次就不大力迫法那样无可辩驳的不只不过没有力迫。实是一条正路。

说道：“这……真题。那个思路，的只是个人喜好的问应当是没有错的。”他只能

没听进去。头，也不知听“哦。”冯落衣点点

路的提出者，到底”“那个思是谁？崎突然有些好奇了：了，老师。”王“对

哥德尔大神一模一以独立思考出和到底是哪来的奇葩样可的思路？，居然

。万法门真传，苏君宇。”冯落衣笑道：“你应该也认识

“苏师兄？的领错愕。他域包括逻辑吗？”王崎

个跑去学习逻啊？如果辑非常有可能嘛！接触逻辑这他那一一块的可能性印象当中，苏君宇那有，主要是他好像也不是没有这么想来的话，杂，好像是什么都天脑子一抽家伙学习的领域非常概率和几何……额，

，所以想要跨领域去算学辑。他最开始只是单纯其实合之处啊。王崎不能理解第一问感兴趣是奇妙的重想到：力始者科恩，研究领对域就不是掺一脚。他本人力迫法的巨大意义。迫法的创逻不过，这还真

成就。(未完待续。)问的领域掺一脚，结苏君宇估计也是这样果这一腿掺出了大想的吧……想要在第一

ps：依旧卡文中qaq