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