属于王崎的破境开始了。

谓词逻辑而言……”“对于最简单的一阶

起来力仿佛。都感应到了即将到来的王崎全身的法突破，尽数躁动

批量生成。被冲开，新的阴阳爻在一个又一个穴窍

逻辑演算…“进行…”

当王崎写下这负荷始满一句话的时候，他体内所有阴阳爻都运转。开

…可以证明所有逻辑上…有效的“公式……”

笔的手因为过度王崎捏着得幽深色的眸子变用力而发白，他黑。

欲出。一个答案呼之

“因此……”

他的身体胀满。刹那，他体内的碎，爆炸性的所有阴阳爻都瞬粉王崎落笔的一法力一瞬间就把当

到。或者说他感知到了，却没有理有感知会。但是，少年没

知道了！道了！我我知

他隐约预感到，接下的辉煌。以来最大他有生来要写的东西，将是

“完备，一阶谓词演算是的。”以认为可

倍！大穴窍重新凝聚，数爻定算经疯狂的运量却比之前多了一转，阴阳爻开始在诸就在这一瞬间，

检查体内的状况中。入了莫大的喜悦之，因为他已经陷王崎顾不上

“哇哈哈哈我知道了！我知道了！”

书桌上点了两下：“能不能先解释一下他，你知道什么了？”一根手指在

，…啊！”么追到万法门来风了？我们说好明天…有些奇怪：“东家？你怎王崎看到辰

说着，王崎居然发出一声尖叫。

耳朵一痛，无奈道：“你也知道你爽约了啊。”“我去你这……”辰风

实话，我爽约几天了？”神发问：“说王崎突然扣住辰风肩膀。大

”天？你爽约了一天我就几天不来我说了。就找到这儿来了，你辰风一头雾水：“几得换身衣服来逮捕你不定

“一天？”王崎恍惚了一下：”“现在什么时辰？

戌时……”“

天不到不对啊？才一？这不科学啊？

草：“这个，真的是我写就是他刚刚写完的张，问道张稿——也起桌的？”王崎抓子上最上面那一那一

变了：“你是不是走火：要不要我给你检查一下？”了？入魔脑子受创辰风脸色

诉我是不是！”是？”“老头你也看到了，告诉我是不王崎的声“你先告音越发焦急了：

是你“是的，确实是你写的。真阐子说道：”

己写过什么了？啊。”：“辰风惊疑不定你都不记得自这是你刚刚写完的

什么眼所见的。孩子，你究竟在写，是你写进来：“我亲个“刘云祥也走了老头”另一？”

，跌坐在地上，说道：浑身的力气王崎仿佛被抽去了……”“这不现实啊

整个万法门驻地的人都来。看到王崎怅然若的梨月很是不爽：“被惊醒了装神弄鬼。”。所有人都好奇样子，先前吃了个亏的围了过失的

激灵：“对不起各位，清闲出王崎突然打了个去一下行静。”吗？我需要一个人静一

刘师叔，请您出去一下我真的需刘云祥想看一，但王崎按住了纸张：看王崎的论要一个人，“对不起……现在这个还不能给人看……静一静。”文

道：“你竟敢对刘师叔无礼？”个弟子微微色梨月更是怒王崎这话让万法门的几变，

祥制止了万法门弟子我们还是出去刘云等一等吧。”的指责，说道：“

。对于王崎的异阵万法门弟子来到外面状，所有论纷纷。辰风连同一人都议

真上去能一路传言是真的。的莫当中，天才写论文就升”真感叹道：“原来传说

周围人的感叹略带羡慕。

“就是就是，原来王师兄居然是……”

”…“他肯定不是外门弟子了吧…

思考的东这到周围的议论，有，可也没那么简单对王崎好感度已道：“写论文涨修为表的梨月哼。修为之所以要你真的思考了，就算听件事是会增长，那是因为思考也可”的过程带动了魂魄，只经跌破以增长修为。西是错的

有人好奇的问道：“那结论有错会怎么样？”

是坚的情况下也不要轻易试探。积重难返。一般”离正法，若皇甫涟沉声道：“会偏持错误甚至会

师兄的结论应该不会有问刘云祥：“师叔，王与王崎关系比有错吧？较密切的弟子紧张的询”

刘云祥满然的…我不知道摇了摇头：“这个…啊？”

常有信心。非常正确这个结论，对此王崎非

而是自己他因为，这个结论并不是一位数学家的结论。得出的，地球

哥德尔完备性定理。

系统当中，一阶算词是不大士生论文。它证明了在形式可以证明的。理源自于库尔逻辑演算中所有比起来，这个定理特·哥德尔的博与哥德尔不完备性定完备的，一阶出名。它逻辑上有效的公式都是

但是，一阶能力比较弱的数学系统，如果只是应用它的更别说算术。话，连自然谓词演算数都定义不了，就是一种

础上又走了一德尔完备定理是一个重对于希尔备定理那样一般的跨越。备完备定理也只是沿着希尔伯特的思路，在步，而不是像不完锤定音的效果。而且伯特计划，哥大突定理那样属于天才冯诺依曼的基破，但是远没有不完

但是……

度啊。”王崎喃喃自语。“这还真是不科学的速

许只是一篇博大这样的论文。多数数学家都写不出士生论文，但世界上论文或神级数学家来说，这篇对于哥德尔这种

家都或者说，一般数学未必看得懂。

……我推出来了？”居然一天就致思路，也提前知道了结论，但是“虽然我知道大

王崎懵了。

代表完全宝藏，王崎路和结论不就相当于大家一开始就知道有，而且看到了一个指路牌。知道到一个新地图寻宝，普没有难度了。这通人不知道有没有大致思

自己找需要他但是具体的路还是

备定理要一鼓作气依曼始甚至没想到把哥德尔完的思路再找一个算术系统特殊的子系统论证推出来，而是沿一下就行了。着冯诺他最开

高？”“我水平有这么