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