，离宗和的Ｗｗ历三年的时候宇连宗很罕见的达成了全新aΔＷ．『kge『ge．l

具备“绝对性”。宗算理之中，具备完全式，一个公式，在离宗算理和连内蕴的话，那么，就可以说，这个公一致的

”，毫无疑问，给予了离宗”。某种“希望这种“绝对性

，这简不周直就是所能找到的对于他们来说之算的灭世一击下，。最后救赎与唯一福音

“绝对性”的存在里面普遍存在的。是在学实体是在，或许就的数学公理系统不同表明，数

这个数学实体本身，或就具有“而如果是这样的话，许实际完备”的性质。

们最后的希望了。这是他

或许他们需要寻找到一条新的道路质。，来探索出这个数学实体的性

在这一点上，冯落衣与歌庭派的目的是出奇。的一致

了些许且放下他们甚至暂一领域。分歧，共同探索这

人也终于崭霆真而在这一过程之中，海露头角。

自从经典逻辑安全之后，连宗证明直觉主义逻，沉默而寡言。他就好像变了个人一样辑不比歌庭派的

自闭的倾向就更严重了。而在黎京首创之中，他

是，这并不妨碍他作续发光发为一个算热。继但学家，

创造主义。中研究良基集合的公理了冯落衣在无限究之中受到启发，引入他从苏君宇的连续统研成果，立了全新的流派——构

历“所有序数的序数”射序列的高度遍在某个理论内，以有穷个符号，类。，便是一个可构造体，所定义之一切实直到反

便是宣告，良基序列下“可构造性集合”合法集合所构而可构造公理，，是相等的。成的总体，与

集合论，并且在冯落衣良基集算学是被构造产物”的纳了算君所厌恶他继的明。承了算君“完成了初步的合的基础上思想，却容安全性证

，定义即明即路秩。构造即证明，证构造

突破，进入千机阁器理论也小有的视野之中也正因为如此，他在算。是

歌庭派对此有些惊恐。

存在【或许还可冯落衣与图灵的。宗的后花园，使得千机阁这个万法门分支门派，一以算上王崎】直都是离

。那里，甚至有算君这种连宗总头也曾有连宗修士走入过目开发出了平行的算器理论

其中了。但是，海霆真人是正式走入

在于“使用有穷个和其他逻辑流符号，是否就能操纵无穷乃至超他甚至有向离宗示好的倾向。海霆真人甚至证明，直。关键差异，就派的觉主义穷的实体”

的出现全是坏，也不完，对于基派来说但海霆真人事。

海霆真人崛起的同西。得以返照多与离宗过去理论相对现许多过自身，发时，也提出了许的东去未必能发现应的东西，使得歌庭派

数学结构的多寡在不同的公理系统。之中广泛存在。公理系他们发现，许多相同的数统的选择学结构，只影响可以证见的

判断以哪些基础原，实际上就是选择和分析而对公理的则作为算学的“起始点”与“基准”。

定义，减法的定众多的公设存在，不动本身需要这些公设万法门修士们义】。评判而设立，而是是出于对算学根基的的【比如加法的研究活才设立

一步的加强了离宗对“算学实体”的信心。这些更进

景之下，苏君在这个背霆真人的思路也就是传递模型”的宇通过海，提出了名为“骚操作。

具有一致性，那么系统的模型。自身就存在这个数学公理系统甲，其如果存在一个

的加入系统甲加入系统甲之后的是一致致的”。再将“系之后的系统系统甲是统甲是一这个公理，加入原来的的系统”一致的”……如此了“一致的加入系统统甲将“系统甲是一致”统是一之后的系甲之后的系统到无穷。统甲是一致的加入系有“系反复，直的”，加入“系统甲是到系统，就得。然后，就致

递到“的性质。那么，系统甲上，成”本身之为一个“可数的“一致性”，就会传无穷无穷”

极大的提升，甚至几乎期。升上了炼虚这使得苏君宇获得了

自身功体。己的修为，来调整现在的他，崎那样，压制自初的王反而要像当

而在传递模型的思想之下，“构造性模型话了。”再一次被神

，都是“理的运算，对于任何算学公绝可构造类的传递模型而言对”的。

事情发非常罕见的生了。

一个在离宗和连宗和离宗的共同努力之下，确立了。成立的算学成果，被连宗之内都

”的的“离宗叛徒”称的总和。冯落衣、王崎收到超过了陈由嘉、骂名，甚至霆真人“连宗叛徒于是，在这个时候，海都呼

祸。越过仙路，选择暂时避就连海霆真人本人，都不得不再次

不在乎这一些了。但是，他自己

他再次立于不败之地了。

构造。和冯良基集合下，全否的无穷公理一样，类的命题，不可证落衣所证明集等于可

他已立于不败之地。

派，已经立于不构造之地。败

果。哪怕算也无君可以一巴掌将他拍死，结更改这个法

起来。对于这一点，冯落衣却开心不

，事情会名，为离只是想着，要为无穷的灾难性答应歌庭派的时候，正…王崎那不周之算带来宗正名，也算是排中律后果。我真的没想到公理和抵消…他叹息：“我最早变成这个样子。”

法门完全疯了。万

中——哪怕他么样，就是想一切”的倾向。他们离宗和连宗，都要倾尽全力，将对手按未来会已经不在意自死在这一滩淤泥之已经显露出了“不顾怎们自己同样深陷泥沼。己

不容情面对离宗，。连宗对连宗，间这样，离宗一样下手不仅是离宗和连宗之

者，但是却只能是一个范例。他明明颇有一些响应退出这算势力范围。真人就海霆君的

恶意了。而冯感觉到歌庭派的些落衣也许

还在响应歌庭。反倒是苏君宇，

甚至都还在君宇。试图“指但冯落衣知道，点”苏那个姓梵的，

恶意的“指点测到两三封这样带有已经检他”了。

但是，那个分球的阳混账，却从来都只是用谋。

恐看出来了什么吧？怕他是

根期与王崎交流，对算由嘉和苏君宇同的倾本看法，总归是与王都显崎一致的。露出了与王崎不学的向，但是，他们长就算陈

致的“终极目标”，憧他们存在着完全一憬着一样的图景。

是自有自在的，算学不会以人的意志为转移。

由苏君宇或陈由嘉的意所改变。巴赫知道的事情，不会所以，梵志

这可真是恐怖啊。

……”在这种情况下……图灵真人也是摇头：“那个向前看的，还被背负着不详的预言

间都有成果，黎但也都拆了对少成就。宗和连宗，歌庭和少彼此倾轧。尽管彼此之离，双方算是方不

方也都是伤了元气。的同时，双在取得长足进步

编修原算的不多的“希望之星”。而在这种情况下，身处他乡、专心就成了现下万法门所剩王崎，

内，这个“希望之星但很可惜的是……十不到七年的时间之险。”也有陨落的风年，不，不对，

有很多人都觉得，能存在巨大漏洞。王崎的算理也有可

灭满自——这简直就是万门门的调子。法

，不止一次的出现了。这种绝望的想法

不置冯落衣可否。

一问的进一步证明。不大高兴的宣称，而就在这一年自己似乎完的冬季，成了希门二十三问第歌庭派

比苏君宇那个更为深入。

他们提出了“内模型”的概念。

任的序数何包含“所有序数“内模型”。”的传递模型，都是

。最小的内模可构造类，是型

的形式的。因此，广义二的若干次方在可类之内，无限集的基数成立的。一定是构造连续统假设是

设的任何等价或缩小形而式，都不可证否。广义连续统假

更在借用新连宗的定义之后，他们终于进一步了。

这一幕实在是别扭，以至于歌庭内部的喝彩声都是稀稀拉拉的。

还顺便完成了选择公理的探索。他们

而在这个时候，有一个人表现出了明显的不满。

续统啊……。”它的后续不应该是这样的苏君宇叹息：“连

完成的。他连续统假设的初步证明，是他对这个问题，也是有感情的。

士所拥有的“美学”。反直观感内模型实在是违对受，违反他作为基派修他来说，

怎么说呢……

太不爽了。

变的现象。在算中删除循环，拒绝为学之“循环是宇宙最为不循环建模，简直就是……”

欢？依旧不喜欢良是王崎师父。但他崎如今是他上司了摇头。王，恐怕王崎也不会太喜，而冯落衣摇他基集合的概念……嗯

另一方面，海霆真人也是的。

太过乐观了。造集合”认为集合论总体之中，只存在，未免“可构

说到底，整个“内的思路上在“相对一致性”模型”，就是。发展而来的

相对一委曲求全”的意思里。致性，本身就有“

通过舍弃那些不能并存的，从而达到一致。

削足适履，斩趾避虫。

……东西他想要更强的