第二百一十七章 掺一脚（2/5）

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

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

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

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

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

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

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

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

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

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

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

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

他轻声呢喃。

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