但相对的，又有几篇沿着“切断自我指涉”这一条路绕过“不完备定理”的论文被甩了出来。

“形势严峻，形势严峻呀！”苏君宇如此说着，似乎有些坐卧不安。

“你急什么？皇帝不急的……”赵清潭摇摇头：“我再过个把月就要回他乡了，有什么事到时候再说。咱们先把这个新年安安稳稳的过了。”

“也是，也是。”苏君宇立刻露出笑容来：“赵师兄想来也是好几年没有回家乡了吧？我就不打扰赵师兄了。明日我就去焚金谷拜访一二。”

“真是……重色轻友。”赵清潭笑骂一句：“滚去焚金谷吧！”

这几日，两人都算舒心。

赵清潭的一系列举动，确实在凡人之中掀起了风潮。毫不夸张的说，他在凡人中间的知名度，就已经仅次于万法门当代门主陈景云了。陈景云亦是可以算离宗修士。而在这一点上，竟没几个连宗修士可以与之相比。

如果不出意外的话，下一代万法门修士当中，离宗比例，会高出不少。

其中也必然会有相当数量情感上天然偏向基派。

这就是很好的结果了。

而他也确实在万法门的结丹期弟子当中，挖掘出了十多个有天分的孩子，苏君宇也推荐了几个元神期修士。这些修士，都原因跟他去他乡，拜入王崎门下。

这次“买面粉”，算得上是“圆满成功”了。

只要接下来没有太大的问题，他们就可以安安心心过个好年了。

嗯，只要没有太大的问题。

没有太大问题。

数日之后，歌庭派众逍遥联名发表了第一篇论文。

《试论直觉命题演算》

光看标题，很难想象这是一片出自于离宗弟子之手的论文。

“直觉主义”的扛旗者，一直都是算君。而算君就是连宗的代表人物。

很少有离宗弟子对“直觉论”提出看法的。

如果他们在论文之中写直觉论，那么基本就是“直斥其非”了。

或者说直接一点，这就是要开战的节奏。

这一篇论文，点明了歌庭派接下来的研究方向。

他们想要证明，在某种意义上，直觉主义算术，和集合论是等价的。

直觉主义算术同样可以被不周之算否定掉！

连宗同样逃不过不周之算的魔咒！

这一篇论文一出，整个万法门都震动了起来。

所有连宗弟子都开始显得惴惴不安。数年之前，那半个万法门沦陷、神州仙盟近乎瘫痪的灾难性现场，还历历在目。上一次的时候，他们在幸灾乐祸的拍手。

这一次，轮到他们了吗？

而与此同时，离宗修士的眼神之中，却出现了一丝快意的光芒。

“不周之劫”中首创越重的离宗算家，脸上的这种表情就越明显。

就算我不能活，也得拉着你一起死！

而在这个时候，已经和歌庭派渐行渐远的冯落衣，居然抛出了全新的论文。

他接过了连宗对“切断自我指涉”的研究，运用算器的思想，去研究良基集。

并且还取得了相当的成果。

这令万法门内下巴碎了一地。

自从执掌万仙幻境之后，冯落衣就很少进行算理的研究了，与歌庭派的来往也逐渐减少。很多新一代修士都将他视为是中立的应用类算家。

但那些老一辈修士都还记得一点。

算器理论，始终是建立在离宗算理之上的。

歌庭派与冯落衣是在两个方向上对连宗进行攻击。

从思路上看，他们一方秉持着算主“相对一致”的思路，另一方则遵循了算主“切断自指”的思路。而从目的上看，他们一方是要证明排中律的安全性，另一方则是要证明无穷公理的安全性。

这简直就是釜底抽薪，从根底上打击连宗。

而且他们还使用了连宗修士的部分研究成果。

这使得离宗修士好像打了鸡血一样振奋。

但是，新年刚过，到了宇历二年的年初，远在他乡的王崎，又发表了篇全新的论文。

《字问题，及一个案例——关于半群字问题的不可判定性》。

由于“形式语言学”之前在神州铺路，所以这一门新学问，已经为人们所知晓。

而判定性问题，则牵涉到最近论战的核心。

所以，这一篇论文，确实引发了广泛关注。

但这却让许多离宗修士一口血吐了出来。