为这大争之世打响第一枪的，是冯落衣。
尽管歌庭斋已经交托给了身为连宗修士的算主首徒何外尔手，但是歌庭派依旧是离宗正统，依旧是算主嫡系。这一点，从来不会因为何外尔或其他任何一个饶因素而简单改变。
或许百年之后，歌庭斋终将变成另外一个样子，但是何外尔一个人，终归是无法扭转这个石头的。
歌庭派最核心的修士，已经杀红了眼，处心积虑的将要将连宗算理同被不周之算所击溃的那部分离宗算理划等号，将他们也纳入不周之算的攻击范围之。
但最先完成成果的，却还是冯落衣——这位有着“非人”之称的才人物。
应当，冯落衣找到了全新的思路。
他们宣称，集合论之前的思路都有问题。
不应该从“全部”，而是应该从“无”之入手。
所有的“集合”，都必须从“空集”开始，进行构建。
或者，只有从空集开始构建的集合才被承认为合法集合。
除此之外的集合，都是有问题的，都是被不周之算抽掉了根基的空阁楼。
无论是有穷集还是无穷集，都必须从“空集”开始。
空集?对应0，{?}对应1，{?，{?}}对应2。如果一切集合，包括无穷集合都有类似的良序，那么，那么可以实施超越无限的归纳——和普通的数学归纳一样。
然后，离宗至高成的“理体系”【zf公理体系】，其全部公理，都能够在良基集合之实现。
这是冯落衣的命题。
这位才，先后用两篇论，完成了这一伟大的论证。
任何证明构造都必须是有穷长度的，关于矛盾的证明也不例外。而无穷公理——自然数无穷集合存在公理，之运用到了后继运算和空集运算。这两个运算，在连宗的算理当，均有对应。因而，这两个算理，在连宗算理和离宗算理之间，是绝对的。换言之，离宗算理和连宗算理，其实存在着相当程度的一致内蕴。
这是两个算理的“绝对『性』”。
因此，如果无穷公理有矛盾，那么这个矛盾，也会通过一个“有穷”的翻译过程，出现在算理之。
无穷功能公理，是安全的。
这篇论一出，便是连宗修士的大面积吐血。
谁都知道，连宗，特别是近代连宗代表的少黎派，是否认“无穷”与“排律”的。算君认为，物质的世界不存在无穷的对象，算学的世界同样不应该存在无穷的对象。
这便是撼动了连宗的根基了。
无数连宗算家抓耳挠腮，恨不能立刻写出论，反击冯落衣。
但是，很快，冯落衣的第二篇论，让所有的争论都偃旗息鼓。
“如果取无穷公理的否定形式作为公理，有穷良序之的矛盾也会更加方便的体现在其他公理之。”
“因此，某种意义来讲，无穷公理不可证明，也不可证否。”
这一下，便如同晴霹雳，镇得所有连宗算家都不出话来了。
一般来，“可证伪『性』”，便是今法仙道的根基所在。不具备可证伪『性』的东西，没有讨论的价值。
但是，算学的地位，却稍稍特殊一些。
连那些算学家自己都不清楚，自己的工作，到底是“发现”还是“发明”。
在这一点，算君和王崎绝对持有完全相反的看法。
当然，在美神那种层次看来，这种争持，完全是笑话。
王崎在与美神遭遇之后，便也有了这种倾向。
他甚至都在形式语言学的序言之表示，这种争论，纯粹是自然语言混沌不堪，非得分出“发现”和“发明”两个完全不同的概念。
但不管怎么，在算学领域，一个不可证明也不可证伪的理论，是允许存在的。
但它好像是神学一样，在自己的逻辑里自成一体。
算想要将之摧毁，也很难下手。
对于普通人来，这是一个“不知道到底有什么”的未知区域。
但冯落衣巧巧在，他一开始，直接证明了另一点。
无限公理是安全的。
“不知道里面有什么”，但是是“安全的”。
这也从侧面明了，连宗对“无穷”概念的批判，实在是没有什么意义。
而陈由嘉的论，也是紧随其后放出了。
这一下，却让所有离宗修士难受了一阵。
甚至有缺场大骂：“叛徒！”
离宗叛徒！
在过去的时光里，几乎所有修士，都将基派理所当然的视作了离宗。王崎也旗帜鲜明的表示过自己离宗的立场。
而现在，身为离宗修士的陈由嘉，发表了带有明显连宗倾向的论。
这又让他们怎么不怒？怎能不怒？
但他们更怒的，却是千机阁的众多基层弟子。
类型论直接删掉了图灵完备，删掉了循环。
图灵真人本裙是觉得挺有趣的，甚至将之当做一个课题布置离了下去。
但千机阁弟子发现这一点之后，立刻沸腾了。
对于他们来，没有图灵完备、没有循环的算器体系，是不可想象的。
小主，这个章节后面还有哦，请点击下一页继续阅读，后面更精彩！