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