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

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

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

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

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

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

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

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

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

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

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

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

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

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

这题。就是冯落衣的命

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

无限公理是安全的。

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

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

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

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

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

离宗叛徒！

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

但若是真的两者结合……

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

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

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

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

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

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

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

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

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

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

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

士如此说道。那些离宗修

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

“。答案是，是”

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

和无穷公理一样安全。

换言之……

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