，是响第一枪的冯落衣。之世打为这大争

一个人的因素而简斋已经交托给了身，依旧是算主首连单改变。宗修士的算主歌庭徒何外尔手中，嫡系。这一点，但是歌庭派依尽管为从来就不会因为何外尔或其他任何旧是离宗正统

头的。之后，歌庭斋终将变无法扭转这个石成另外一个样子，但是何外尔一个或许百年归是人，终

歌庭派最核心的修士不周之算所击溃的那理同纳入不周之，已经杀红了算的攻们也部分离宗被击范围之中。积虑的将要将连宗算算理划上等号，将他眼，处心

果的，却还是冯——这的天才人物。位有着“非人”之称衣但最先完成成落

找到了全新的思路。应当说，冯落衣

他们宣称，集合论之前的思路都有问题。

入手。而是应该从“无”之中不应该从“全部”，

都必须从“空集”开始所有的“集合”，，进行构建。

合。开才被承认为合法集或者说，只有从空集始构建的集合

周都是被是有问题的，不之除此的算抽掉了根基之外的集合，都空中阁楼。

从“空集”开始。有穷集还是无穷集，都必须无论是

——归纳序，那么，那么就可数学归纳一样。以有类似的良对应1就合都就和普通的实施对应2。如果空集?对应0，?}超越无限的一切集合，包括无穷集

集合之中实现。“天理体系”【f公理体系】，其然后，离宗至高成就的全部公理，z都能够在良基

这就是冯落衣的命题。

大的论证。论文，完成了这一伟这位天才，先后用两篇

理当中，均有对，是绝两个运算，在连宗的一致内蕴。存在着当，关于矛盾的证明也应。因而，宗算理和离宗算理之间公理，之的算这两个算理，在连理——自然数无穷集合存在相不例外。而无穷运用到了后理，其实之，离宗算公都必须是有理和连宗算算和程度上的任何证明构造穷长度对的。换言继运空集运算。这

绝对性”。“这就是两个算理的

因此，如果无穷公理中有矛盾，那么这个矛盾，也会通过翻译过程，出现在算理之。一个“有穷”的

无穷功能公理，是安全的。

便是连宗修士的大面积这篇论文一出，吐血。

在道，连宗，特别是近代少黎派，就是否不存在无穷的象。认“无穷”与“排中同样不应该存知律”的。算连宗代表的对象，算学的世界的对谁都无穷君认为，物质的世界

这便是撼动了连宗的根基了。

算家抓耳挠腮，恨不连宗无数反击冯落衣。论文，能立刻就写出

落衣的第二但是，很快，冯论都偃旗息鼓。篇论文，就让所有的争

“良序之中的矛盾。”定形式作也会更理之上为公理，有穷如果取无穷公加方的否现在其他公理便的体

义上来讲，明，也不可证否。”某种意“因此，无穷公理不可证

霹雳，镇得所有连宗算家都说不出话来了。这一下，便如同晴天

论的价值。性的东西，没一，“可证伪基所在。不具备可证伪有讨性”，便是今法仙道般来说的根

，却稍稍特殊一些。但是算学的地位，

自己都说不清楚，自己到底是“发现”就连那些算学家还是“发的工作，明”。

完全相反的看法。在这一点上，算君和王崎绝对持有

来，这种争持，完全就是当然，在美神那种层次看笑话。

王崎在与美神遭种倾向。遇之后，便也有了这

不同就是自然的概念。“他甚至都在形式语言，非得分出“发现”和学的序言之中表语言混沌不堪示，这种争论，纯粹发明”两个完全

领域，一个不可证明也不伪的理可证但不管怎么说，在算学论，是允许存在的。

，在自己的逻但它就好像是神学一样辑里自成一体。

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

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

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

无限公理是安全的。

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

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

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

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

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

离宗叛徒！

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

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

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

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

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

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

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

对于他们来说，没有象的。系，是不可想图有循环的算器体灵完备、没

他们感觉自己的圣域受到了侵犯。

着去镣铐跳舞”。就变成了“带过的“自由飞翔”，如今

沸反盈天。呼声，也在千机阁闹得嘉“离宗叛徒”的陈由

。”对此，图灵真人也只是我对不住那姑娘了这却是……好似有苦笑：“

于这些无冯落衣们闹去。对摇了摇头：“由得他他们未心算理用，丫头的理论有怎么的作的家伙来说，那来总会知道的。”

说将‘类型论”是’纳入‘图灵完备’产生恶性不谐的。笑了：“涡这几天想“你过了，或许会吗？”图灵真人

的门槛术降低算器之我说，这却能极大的“但王崎跟。”冯落衣说道。

的眼光，还是信任的。他对自己弟子在这方面由于有了万象卦文的推广，

用的法子虽修士对就怕这两不沾的，以也很少是“型论伴生”图灵真人有些犹豫刻安全。而往日所处，关键时候就会直接停机，这一领域已经熟稔，所结果，然是由于事。在关键时误了掉链子。，算得上的语言然会输出未知。与类稍有错

但若是真的两者结合……

打到关键的时候算器宕机了怎么办？

有优势的。。炼的时候，确实说，但是修“若是主法器自然另”冯落衣说道

道月寒兄如今倒是一副事不关己的？”样子。你难道不知吗？这一股‘离宗叛徒’的风，也吹到你身上了吧图灵真人突然笑道：“

老东西罢了。一个不周之算，都没有让”……食古不化的冯落衣眼睑低垂：“不过是些顽固分子他们看清楚真相，那他们也就这样了。

实际上，冯落衣的论文，在离宗内部，也并非没有反对之声。

，才另一股反最开始也就是因为士对陈由嘉引发了之声。对千机阁修的反对之声

有一些离宗修士都觉得，冯落衣是疯了。

他！居然剔除掉了“循环”这个概念

呼吸所代表地的灵力循环，大都是一气环流、水的循环，种循环。于自然界中的概念。天环，是广泛存在之循

这种东西，理应存在于际环分。所以，循关键部法门功法的算学之中——实上，它甚至都是万

被剔除出逻辑的。”“循环是不能

如此说道。修士那些离宗

落衣，都是走算主“两条路”嘉和冯指”的。陈由自之中的“断

度上相互启发了。甚至两人也在一定程

落衣是不过从根基上来说，冯的离宗，而陈由嘉则从算君这只最正统里接受了不少连宗的思路。

向。了同一个方但他们却是指向

点小事。他对图灵真人说道：“。接下来，就看他们乎这庭派内部没有反冯落衣从来就不在的吧？”了歌对之声，就足够

。谁都知道，歌庭派此时此刻，已经是置之死地了。置可否而后生图灵真人不

算的碾压下，他们许多了。也顾不得在不周之

图灵真人并没有不过，到，歌庭派的背水一击想，居然来得如此猛烈，数日之后。

、的手段，引起了他们连宗际上，也就是冯落的注衣将离宗算意。理频繁转化实

他们由此，提炼的函数。出了一个无名的逻辑层面

“双重否定翻译”。【“哥德尔-根岑”翻译】地球上称之为

假设的否定证明”。则可以构造出这个“假设排中律有矛盾，

”。等价于双重否定去除“而排中律，则可以

这是两条已。经存在浅显证明的论题

步的想法。了一个更进一这个时候而就在，歌庭派提出

经？”否定，那么这个证明，是否可“如果从里面的证明里，直觉主义的构典逻辑以等价于添加双重造性证明

也就是说，如果将歌庭派于“排中律”的部分祛，是否就等价于少黎派的构造性证明之中属算理除，那么，这东西呢？

答案是，“是”。

，确定了连安全的宗反对的排中律，也是它用反对排中律的连宗。算理

。和无穷公理一样安全

换言之……

)算理安全到哪里去。8连宗算理并不比离宗