之世打响为这大争第一枪的，是冯落衣。
派依旧是离宗正统，但是歌庭单改变。他任何依旧是算主已经交托给了身为一个连宗修士为何外尔或其人的因素而简尽管歌庭斋，点嫡系。这一的算主首徒何外尔手中，从来就不会因
或许百年之个样子，斋终将变成另外一法扭转一个人，终归是无这个石头的。但是何外尔后，歌庭
经杀红了眼，庭派最核心的的那歌处心积之分离宗算理划上等的将要将连宗算理同部算修士，已被不周之算所击溃的攻击范围之中。入不周虑号，将他们也纳
称的天才人物。—这位有着“非人”之但最先完成成果的，却还是冯落衣—
当说，冯落衣找到了全新的应思路。
的思路都有问他们宣称，集合论题。之前
不应该从“全部”无”之中入手。应该从“，而是
所有的“集合”，进行构建。空集”开始，“都必须从
法集合。建的集合才被承认为或者说合，只有从空集开始构
题的，都是被不周之算除此之外的集抽掉了根基的空。合，都是有问中阁楼
无穷集必须从“空集”，都开始。无论是有穷集还是
切集合，包括施超越无空集可以实限的归纳——就和普样。通的数学归纳一应1就对应2。如果一类似的?对应0，?}对良序，那么，那么就无穷集合都有
成就的“都能够在良基集然后，部公理，至高体系】，其全【zf公理合之中实现。天理体系”离宗
这就是冯落衣的命题。
这位天，完成了的论证。才，先后这一伟大篇论文用两
的。换言之，离公理，之运用到自穷长度的，关于在连宗的算理何证明构造都必须是有存在着相当程度上的也不例外。而无穷公任算理，在了后继运算和空集运算一致内蕴。。因而，这两。这两个运算，个，是绝对宗算理和连宗算理，其宗算理之间实理——当中，均有对应离连宗算理和矛盾的证明然数无穷集合存在
理的“绝对性”。这就是两个算
通过一个“有穷”有矛盾，那么这个矛盾，也会因此，如果无穷算理之中。公理的翻译过程，出现在
。穷功能公理，是安全的无
一出，便是连宗面积吐血。这篇论文修士的大
的。算君别是近代连宗代表的对象。谁都知道少黎不存在无穷的对象认为，物质的世界，连宗，特“无穷”与“排中律”，算学的世界应该存在无穷的同样不派，就是否认
是撼动了连宗的根基了。这便
。腮，恨不能立刻就击冯落衣无数连宗算家抓耳挠写出论文，反
，鼓。很快，冯落衣的第但是二篇论文，就让所有争论的都偃旗息
也序之中的矛盾上。”取无穷公理的否定形“如果式作为公理，有穷良其他公理之会更加方便的体现在
可证明，也不可来讲，无穷公理不“因证否。”此，某种意义上
不出话天霹雳，镇如同晴来了。这一下，便得所有连宗算家都说
，，“可证没有的根基所在。不具备伪性”，便是今法仙道讨论的价值可。证伪性的东西一般来说
地位，却稍稍特殊一些。但是，算学的
己都说不清楚，自是“发现”还“发明”。己的工作，到底就连那些算学家自是
反的看法。持有完全相在这一点上，算君和王崎绝对
笑话。神那种层次看当然，在美就是来，这种争持，完全
，便也有了这种倾向。王崎在与美神遭遇之后
同的概念。纯粹就是自然语，他甚至都在之中表示，这种争形式语言学的序言言混沌不堪，非得分明”两个完全不现”和“发出“发论
管怎么说，在算但不学领域，一个不允许存在的。也不可证伪的理论，是可证明
自成一体。但它就好像是逻辑里神学一样，在自己的
就算想，也很难下手。要将之摧毁
的么”对于普通人来说未知区域。，这就是一个“不知道到底有什
但他一开始，就一点。接证明了另直冯落衣巧就巧在，
无限公理是安全的。
安全的”。有什么”，但是是““不知道里面
侧面说明了，连宗是没有这念也从的批判，实在什么意义对“无穷”概。
放出了。而陈由嘉的论文，也是紧随其后
这一下，却让所有离宗修士难受了一阵。
甚至有人当场大骂：“叛徒！”
离宗叛徒！
宗的立离宗。王崎也旗帜士，都将基派理所在过去的时光里，几乎所有鲜明的表示过自己离当然的视作了场。修
离宗表了带有明显连而现在，身为宗倾向的论文。修士的陈由嘉，发
怎能不怒？这又让他们怎么不怒？
基层弟子。们更怒的，却是千机但比他阁的众多
删掉了循环。完备，类型论直接删掉了图灵
。图灵真人本人倒是觉得一个课题布置离了下去趣的，甚至将之当做挺有
腾了。但千机阁弟子发现这一点之后，就立刻沸
。备、没有循环的算器体系，是不可想象的对于他们来说，没有图灵完
犯。己的圣域受到了侵他们感觉自
过去的“自由带着镣铐跳舞如今就变成了“飞翔”，”。
也在离宗叛徒千陈由嘉“声，机阁闹得反盈天。”的呼沸
似是我对不住那姑娘灵真人也只有苦笑：“这却是了。”……好对此，图
“由会得他们闹去。对于这些知道的。”么的作用，他们未来总无心算理的家伙来说，冯落衣摇了摇头：的理论有怎那丫头
完备’吗？”图将‘类型论’纳入‘说不谐的。”灵真人笑了：“涡这几天想过了，或许会产生恶“你是性图灵
之术的门槛。”冯落衣说道“但王崎跟我说，这却。能极大的降低算器
这方面的眼光，还是信由于有了万象卦文的推任的广，他对。自己弟子在
事安全。而往日于修士对这一领域已沾的，关键时候误了，然是由少在关键时刻掉链子。经熟稔，所以也很所用的法子虽然会输出未知结果是稍有错处，就会。”图灵真人有些犹豫。直接停机，算得上与“就怕这两不类型论伴生的语言，
是真的两者结合……但若
打到关键的时么办？候算器宕机了怎
是主法器自然另势的。”冯落衣说“若优候，确实有道。说，但是修炼的时
上了吧？”不知道吗？这一如今倒是一副事不关图也吹到你身股‘离宗叛徒’的风，灵真人突然笑道：“月寒兄己的样子。你难道
一个不也就这样了化的老东西罢了他们看清楚真相冯落衣眼睑低垂：，那他们……食古不。“不过是些周之算。”，都顽固分子没有让
实际上，冯落也并非没有反对之声。论文，在离宗内部，衣的
对为千机阁修士对陈由之声引发了另一股反嘉的反对之声，才最开始也就是因。
士都觉得，冯落衣修有一些离宗是疯了。
了“循环”这他居然剔除掉个概念！
循环。表的灵力循环，大气环流、水的循之中的概念环，都是一种，是广泛存在于自然界环循。天地呼吸所代
法门功法的关键部分种东西，理应存在。环这，它甚至都是万所以，循于算学之中——实际上
“循环是出逻不能被剔除辑的。”
士如此说道。那些离宗修
的。两条路”之中的陈由嘉和冯落衣，都“断自指”是走算主“
程度上相互启发了。甚至两人也在一定
接受了不少连宗的思的离宗，而陈由嘉则说，冯落衣是最正统只不过从根基上来从算君这里路。
了同一个方向。但他们却是指向
灵真声，就足够了。冯落衣从来就不在内部没有反对之们的吧？接下来，就看乎这点小事。他对图人说道：“歌庭派”他
都知道，已经，歌庭派此时此刻图灵真人不置可否。谁是置之死地而后生了。
他们也顾不得许多了。之算的碾压下，在不周
然来得派的背水一击，居人并没有想到，数日之后，歌庭不过，图灵真如此猛烈。
。将连宗、离宗算理频繁，也就是冯落实际上们的注意衣转化的手段，引起了他
他辑层面的函数。们由此，提炼出了一个无名的逻
地球上称之为“哥德尔否定翻译“双重-根岑”翻译】”。【
“假设排中律有矛盾，则可明”。以构造出这个假设的否定证
“而排中律于双重否定去除”。则可以等价，
在浅显证明的论题。这是两条已经存
了一个更进一步的想法派提出而就在这个时候，歌庭。
辑里”双重否定，那么这个证明，是否可以等价觉主义的构造性证明？于直面的证明里，添加逻“如果从经典
价于”？的部分祛除，那庭派算理之中属于“么，这东西，是否就等少黎派的构造性证明呢排中律也就是说，如果将歌
答案是，“是”。
。是安全的律，也宗算理，确定它用反对排中律的连了连宗反对的排中
和无穷公理一样安全。
换言之……
算理安全到哪里去连宗算理并不比离宗。8)