第477节（1 / 2）

白泽神君在外人眼中刚愎自用又小气，但是他对自己的后辈尤为温和。苏涤光有些迟疑：“可是这……”

白泽神君摇摇头：“这也是为了你好。万法门最近的理论，是有些颠覆性。你听了的话，说不定……说不定会出事。”

苏涤光这才意识到事情的严重性。他对着白泽神君施了一礼，然后才走了出去。

而他走出来之后，才是真的吓了一跳。

自己家门口，居然聚着好几个逍遥修士。而缀在最后面的，赫然是巅顶逍遥，苍生国手冯落衣。

“这小子，到底……到底做了什么啊……”

这些逍遥修士都是很忙的。他们没有时间专门等苏君宇醒来。直到刚刚接到报告，他们才赶过来。反正他们现在都在万法门内。这点距离对于逍遥修士来说就像不存在一样。

卧房里，隐隐传来白泽神君豪放的大笑声：“哈哈哈哈，你小子，之前半声不响，没想到如今却是一鸣惊人啊！大器晚成！大器晚成啊！和你今日这成果相比，那什么道种赏的成果，统统都不算什么啊！”

对于逍遥修士来说，二十三问虽然不是什么大标杆。但是，更够解决一个，依旧是非常了不起的事情。

苏君宇摇摇头：“我现在也只是初步敲定了流程，具体的东西还是得慢慢做……”

“有流程就了不起了！你没看到歌庭派的那些家伙吗？近百年未有寸进啊！”白泽神君毫不在意：“说起来，你的结论是什么？”

苏君宇举起自己的草稿纸：“就是这个。若集合论公理具有一致性，则连续统假说为真。实际上，在集合论的范畴你，你根本就没办法证伪集合论。”

“‘若是现存之集合论公理相容一致，则连续统为真。’……”

在白泽神君读出这句话之后，周围的气氛微妙的冷了一下。

白泽神君有些尴尬：“这个……孩子啊，你有没有想过集合论公理的一致性如何证明？若是这个系统乃是不可相容、不一致的呢？”

“啊？”苏君宇眨眨眼：“不一致……”

在不完备的打击之下，集合论现在就像个筛子一样，似乎不堪一击。

苏君宇眨眨眼睛：“对哦，似乎有人证明集合论不完备……没道理它一定是一致性的……”

项琪左看看右看看，然后迟疑的出声道：“那个……从刚才开始我就没听懂了……这个，苏君宇这家伙，现在是做了，无用功？”

“也不是无用功。几年前，我们就证明了许多系统的一致性，现在依旧可以。不全之律，只不过是说‘完备性和一致性不能同时存在’。”冯落衣从众人背后越了出来，站到众人面前，道：“这个方向，我觉得可以做一做。”

第二百一十七章 掺一脚

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

他轻声呢喃。