ΔＷ．『kge『g离宗和连宗很罕见的达宇历三年的时候，全新的Ｗｗe．la成了
一个公式，在离宗对性”。算理和连宗算理之，那么，就可以说，备“绝中，具备完全一致的这个公式，具内蕴的话
毫无疑问，给予了离宗某这种“绝对性”，种“希望”。
对于音。，所能找到的最后救赎与唯一福他们来说，这简直是不周之算的灭世一击下就
“绝对性”的存在，。系统里面普遍存在或许就是在表明，数学实体是在不同的数学公理的
质是这如果。而的性实际完备”本身，或许就具有“学实体样的话，这个数
这是他们最后的希望了。
条新的道路到一性质。索出这个数学实体的，找或许他们需要寻来探
是出奇的一庭派的目的，冯落衣与歌致。在这一点上
了些许分歧，共同探索这一领域。他们甚至暂且放下
。露头角之中，海霆真人也终于崭而在这一过程
庭派的经典像变了个人一样，沉默自明直觉主义逻辑不比歌而寡言。从连宗证逻辑安全之后，他就好
而在黎京首创之中，他自闭的倾向就。更严重了
但是，这并不妨碍他作继续发光发热。为一个算学家，
研究良基集合的的连续统研究之中受到他从苏君宇在无限公理中创立了成果，。全新的流派——构造主义启发，引入了冯落衣
实体，射序列个符号，所定义之一切的高度遍历“个理论内，以有穷直到反，便是一个可构造类。所有序数的序数”在某
“可构造性集合”，是，与等下合告，良基序列法集合所构成的总体而可构造公理，的。便是宣相
学是被构造产。在冯落衣良基集了初步的安全性证明他继承了算君“算纳了算君所厌”的思想，却容合的基础上完成物恶的集合论，并且
秩。构造即证明，证明即路定义即构造，
也正是因为如此，他在算器理论也小野之中。有突破，进机阁的视入千
恐。有些惊歌庭派对此
园。还可以算上王崎】，使是在冯落衣与图灵的存法门分支门派，一直都得千机阁这个【或许万离宗的后花
出了平行的算器理论。也曾有连宗修士走君这种连宗总头目开发入过那里，甚至有算
了。走入其中但是，海霆真人是正式
否直觉主义他逻辑他甚至有向离穷穷个符和其键差的实体”。宗示好的倾向。海霆真异，就在于“使用有就能操纵无穷乃至超人甚至证明，号，是流派的关
坏事。但海霆真人出现，对于，也不完全是的基派来说
得以返照自身宗过去理论相对应东西，使得歌庭派多与离同时，也提出了许。海霆真人崛起的能发现的东西过去未必的，发现许多
的数学结构在不同的公理构的多寡。统的选择，只影响可以证见的数学结系统之中广泛他们发现，许多相同存在。公理系
则作为算学的“起哪些基础原和分析，”。始点”与“基准而对公理的选择实际上就是判断以
众需要这些公修士们研究活动本身是出于对算学根基的多的公设存在，不减法的定义】。评判而设立，而是万法门设立的【比如加法的定义，设才
一步的学实体”的信心。这些更进加强了离宗对“算
递模也型”的骚君宇通过海霆真人的就是在这个背景之“传思路，提出了名为操作。下，苏
就存在这个系统如果存在一个数，其自身具有一学公理系统甲的模型。致性，那么
统甲的”。再将“系统甲是是一致的加系统甲之后的系统是反复，直到无后的系统”。然的加入系统甲之，加入原来的系统，就统是一致的”，之将“系统甲是一致一致就有“系统甲是”的这个公理一致后，后的系的加入甲是一致的加入系统甲得到了“系统此入系统甲之后的系统一致如穷。”……加入“系
一致性”，那么，系统甲的性质。”本身之上，成为一个“可数无穷“就会传递到“无”的穷
这使得苏君宇获得了极了炼虚期。大的提升，甚至几乎升上
样，压制自己的修为而要像当初的王崎那身功体。现在的他，反，来调整自
之而在传递模型的思想下，“了。造构话性模型”再一次被神
运算，对何算学公理的传递模型而言，都是“绝对”的可构造类的于任。
非常罕见的事情发生了。
被确立学成果，了。之下，一宗和连宗之连宗和离宗的共同努力个在离内都成立的算
连宗叛徒”的骂名，甚至都超过徒”称呼的总和。衣人霆真“于是、王崎收到的“离宗叛了陈由嘉、冯落，在这个时候，海
，都不得不再次越过。真人本人霆仙路，选择暂时避祸就连海
但是，他自。己不在乎这一些了
他再次立于不败之地了。
落衣所证明的无穷公题，不可证否。理一样，良基可构造类的命和冯集合下，全集等于
地。之他已立于不败
地。构造派，已败之经立于不
个结果。改这法更哪怕算君可以一巴掌将他拍死，也无
不起来。衣却开心对于这一点，冯落
…王崎那不周之早答应歌庭派的时为离宗正名，也算排中律正名，灾难性后果。我成这个样子。”公理和算带是抵消…会变候，来的只是想着，要为无穷真的没想到，事情他叹息：“我最
万法门完全疯了。
陷泥沼。连宗，都已经向。他们已经不在意之尽全力，将对手按死宗和自己同样深在这一滩淤泥显露出了“不顾一切”是想要倾离自己未的倾来会怎么样，就中——哪怕他们
间这样，离宗下手不，连宗对连宗，一样容情面。不仅是离宗和连宗之对离宗
例。他明君海霆真人就是一个范，但是却只能退出这算的势力明颇有一些响应者范围。
也感觉到歌庭派的些许恶意而冯落衣了。
还在响应歌庭。反倒是苏君宇，
都还在试图“指点梵的，甚至宇。，那个知道但冯落衣姓”苏君
他已经检测到两三的“指点”了。样带有恶意封这
的用阳谋。但是，那个分球混账，却从来都只是
吧？恐怕他是看出来了什么
，就算陈由嘉但是，的。王崎不同的倾向出了与，总归是与王崎一致和苏君宇都显露他们长期与王崎交流，对算学的根本看法
憧憬着一样的图景。他们存在着完全一致的“终极目标”，
会以人的意志为转移。算学是自有自在的，不
知道的事情，不所以，梵巴会由苏君宇或陈由赫嘉的意志所改变。
恐怖啊。这可真是
图灵真人也是摇头：“在这种情况下前看的，还被背负着不详的预言……”……那个向
之间都有成果，但也都拆了对方不少成就。黎，双方算是彼此倾轧。尽管彼此离宗和连宗，歌庭和少
是伤了元气。在取得长足进步的同时，双方也都
就成了现下万法门所剩”。而在这种情况下，“希望之星原算的王崎，身处他乡、专心编修不多的
十年，不，不但很可惜的是……的时间之内，这个“对，不到七年希望之星”也有。陨落的风险
可能存在巨大漏洞。得，王崎的算理也有有很多人都觉
——这简直就是万法门自灭满门的调子。
一次的出现了这种绝望的想法，不止。
冯落衣不置可否。
季，歌己似乎一问的进一步证明派不大高兴的宣称，自完成了希门二十三问第庭。而就在这一年的冬
比苏君个更为深入。宇那
提出了“内模型他们”的概念。
内模型”。“所有序数传递模型，都是“任何包含”的的序数
内模型。可构造类，是最小的
数一定的内，连续统假设是是二的若干次方的形式成立的。集的基。因此，广类之无限在可构义造
而广义连续统设的任小形式，都不可证否。何等价或缩假
他们终于更进一步了。宗的定义之后，在借用新连
这声都是稀稀拉拉的。部的喝彩，以至于歌庭内一幕实在是别扭
他们还顺便完成了选公理的探索。择
明显的不满。有一个人表现出了而在这个时候，
苏君宇叹息：“连续统啊……它的后续不应该是这样的。”
他对这个问题，也的。连续统假设的初步证是有感情的。明，是他完成
违反他对他来说，内模型实在是违反直观感受，所拥有的“美派修士作为基学”。
怎么说呢……
太不爽了。
循环，拒绝为“循环是宇宙最为不变的现象。除循环建模，简直就中删在算学之是……”
但他依旧不喜欢良基集他摇，衣了摇头。王是王崎师父。今崎也不会太喜欢？恐怕王崎如是他上司合的概念……嗯，而冯落
人也是另一方面，海霆真的。
乐之中，只存在“可构造观了。集合”，未免太过认为集合论总体
”的一致性说到底，整个“内模型”，就是在“相思路上发展而来的。对
“委曲求全”的意相对一致性，本身就有思里。
些不能并存的，从而达到一致。通过舍弃那
，斩削足适履趾避虫。
他东西……想要更强的