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