就算想要将之摧毁，也很难下手。

对于普通人来说，这就是一个“不知道到底有什么”的未知区域。

但冯落衣巧就巧在，他一开始，就直接证明了另一点。

无限公理是安全的。

“不知道里面有什么”，但是是“安全的”。

这也从侧面说明了，连宗对“无穷”概念的批判，实在是没有什么意义。

而陈由嘉的论文，也是紧随其后放出了。

这一下，却让所有离宗修士难受了一阵。

甚至有人当场大骂：“叛徒！”

离宗叛徒！

在过去的时光里，几乎所有修士，都将基派理所当然的视作了离宗。王崎也旗帜鲜明的表示过自己离宗的立场。

而现在，身为离宗修士的陈由嘉，发表了带有明显连宗倾向的论文。

这又让他们怎么不怒？怎能不怒？

但比他们更怒的，却是千机阁的众多基层弟子。

类型论直接删掉了图灵完备，删掉了循环。

图灵真人本人倒是觉得挺有趣的，甚至将之当做一个课题布置离了下去。

但千机阁弟子发现这一点之后，就立刻沸腾了。