这应当算是对冯落衣利用连宗“切断自指”的研究成果，进而开始研究排除自指集的做法进行反击。

而出乎意料的是，一向与世无争的雪国派，此时此刻，居然也流露出下场的意图。

雪国派现任领袖，“雪国主”柯寞歌【安德列·柯尔莫哥洛夫】也发表了新论文。

他对名为“可实现性”的理论，进行了全新的叙述。

雪国派也是连宗典范，也从属于“直觉派”，同样会对算君执弟子礼。

但是，雪国派的“直觉”，和算君的“直觉”，又有微妙的差异。

实际上，关于“直觉”的构造，不同的连宗修士也有不同的想法。

雪国主的论文指示出了一个奇异的事实。对于任意命题，存在对应的非命题，其非命题成立的则意味着该命题的荒谬。某非命题的证明，是把该命题的证明变换成荒谬的证明的函数。

荒谬的标准例子可以在算术中找到。假定0=1，并进行数学归纳法：0=0通过等同公理得到；（归纳假设）如果0等于特定自然数n，则1将等于n+1，但是因为0=1，所以0也等于n+1；通过归纳，0等于任何数，所以任何两个自然数都是相等的。

这显然是荒谬的。

或许用自然语言来叙述，这就是一个低等的笑话？但是在算理上，它确实是存在着重要的地位。

而几乎是同时，另一位连宗逍遥修士，也独立完成了类似的成果。

他用一种离宗修士看来有些怪异的形式，重写了离宗的重要成就——算术公理。

这一下子，整个万法门都开始变得一片混沌了。

所有用研究算学理论的修士都陷入了对三个问题的思考之中。

——我是哪边的？是连宗还是离宗？