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