说完这句话后，他神色黯淡：“终究是得与老朋友分道扬镳了。”

他不是正统的歌庭派出身，但也是歌庭的代表人物。他现在打定主意力挺王崎，推广不可判定和不完备。这在歌庭派的人看来，就是他在背后给了算主一击。

这毫无疑问是背叛。

图灵真人宽慰道：“月寒兄不必如此。希门主气量非凡，何外尔何道友是他的嫡传弟子，他偏向连宗之后，算主都没有与他断绝来往，更何况是你？你现在是站在对的一边。”

王崎则问道：“老师，希门主那边如何了？”

“歌庭派的其他道友去照看了。”冯落衣叹道：“希望可以度过此劫吧。”

……

歌庭之中，芬芳缭绕。但是，这最上等的香料，也掩盖不住这里浓烈的硝烟味。

“太荒谬了！”一个歌庭派的弟子低声喝骂道。

他们不敢太过高声，甚至运法力将声音集中在自己周围，就怕惊扰了自己恩师。

现在不知道算主究竟看了《试论万法算藏卷一算术篇中形式上不可判定之陈述及相关系统》那一篇论文没有。他们现在就商量着如何稳住自己的老师。

“不如这样吧……”一个歌庭派修士吸着鼻子，似乎哭过：“我们告诉老师，就说我们还有可判定性……”

“不要！”若澈仙子低声惊呼。可判定性过几日也要被人否决啊！拿这个来劝慰，也是找死！

而艾克蛮则拿出了另外几页纸：“这是，暂时还没有公开的部分。”

“这是什么……《论可计算数及其在判定定理上的应用》……”那个看了论文的歌庭修士如同遭到大威能神通的轰击，呆若木鸡。

——就连可判定性也完了？