手机浏览器扫描二维码访问
第1288章（第1页）
大基数的好处，也有很多。
比如说，引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论，并且不需要取消选择函数。
比如说，引入大基数可以证明二阶算术的完备性。
这是当年王崎在证明一阶完备之后就停滞不前的道路。
但唯一的问题是……
“大基数”与构造性公理是相互矛盾的。
“对于贵学派来说，推翻可构造类是必然的。王崎所设想的那个，可以执行所有算学的假想实体，算学的根源，根本就不可能在离宗的天理体系之内实现……”
“但若是引入强不可达基数，扭曲天理体系，便是海阔天空……”
“是以，证明不可达基数谱系的安全性，便是证明基派几轮的安全性……”
苏君宇看着这一封信函，仿佛内里有什么魔力一样。
“这算什么？”苏君宇最终也只是叹息：“借助离宗的手，来清除连宗的异己吗？”
——不，离宗和连宗的界限，在这一瞬间，也模糊了吧？
苏君宇这样想着。
或许“异端比异教徒更可恨”，并不仅仅适用于神道学领域。
对于连宗来说，引入天理体系，引入选择公理，扰乱连宗完美几何宇宙图景的海霆，比大多数连宗修士都要可恨许多倍。
离宗又何尝不是呢？
歌庭派和苍生国手、机老的分歧，王崎和冯落衣的分歧……
——不不不……
苏君宇瞬间甩掉了这样的想法。
至少王崎还没有做出选择哩。
苏君宇这样叹息。
果然是一个烂摊子。
早在数日之前，苏君宇就已经将这封信的部分内容转给了王崎。
他现在还在等待王崎的回复与指点。
“不过，说是这样说，但是，有些事情，可能早就有答案了吧——毕竟算学自有自在。”苏君宇躺下，自嘲的说道。
这一两年，基派就是在专心编写《原算》，构建自己的体系。对于这一场论战，就只是无视，或者装死。
但这一次被人点中根脚之后呢？
哪怕是为了基派算学，他也会研究不可达基数。
梵巴赫的阳谋。
苏君宇甚至可以想象到，一张无形的网，正在结成，这一张网，有离宗的成分，也有连宗的成分。而它的目标，就只有一个——海霆。
它是针对“可构造类”而结成的。
“只是，厌恶‘无限’的连宗修士，来提出这个，是不是太拼了一点？”
苏君宇很想笑。但是一想到海霆真人，他又笑不出来了。
大明孤狼 系统之娇宠孕妻 穿越之弃子国师 悍妻[医道] 废材重生：邪王独宠悍王妃 神偷长公主 赌妃在上，王爷在下 直播和男神同居的日子 眼镜兄撞上恶魔王子 娱乐超级奶爸 断神 天黑请开眼 一爱到底之顾少毒妻 捡到病娇太子之后（重生） 时光请善待我的她 扛着boss拼下限（末世） 烈火燃情：高冷总裁滚远点 我是狠人大帝的同乡 最强除妖师 天地炼成
陪达芬奇超神的日子
每早七点更新超好看哟不要错过O3OWIFI之母，海蒂拉玛。世界上首位全裸出镜的好莱坞女王，电子前沿基金会先锋奖获得者，无线通讯的启明星，美艳与智慧的宠儿。她一觉醒来，发现自己睡在一个陌生的街头。路边的男人把她捡了回去，还随手煮了一碗香喷喷的意大利面试图投喂。我的名字？列奥纳多迪皮耶罗达...
孔方世界
新书求支持简介慢穿小世界，带着随身空间去末世，去星际，去修仙最后回来陪爸爸开面馆。周霜霜本来觉得这就是自己的人生，没想到，有一天末世会降临到自己的世界。老规矩，无CP，无极...
模拟器：开局天牢死囚
叶流云魂穿异界，一来就出现在天牢，而且三日之后就要问斩！好在觉醒了神级模拟器，花费名望，即可进行模拟，每一次模拟之后，都可以随机选择保留一个天赋能力！你选择认罪，并且随意攀咬他人，说是受人指使！金刀卫查探之后发现你牛头不对马嘴，将你凌迟处死！你选择喊冤，喊破喉咙也没有人理你！三日之后，你被法场处斩！你选择三日之后，你被法场处斩！叶流云一阵欲哭无泪，我想回地球！如果您喜欢模拟器开局天牢死囚，别忘记分享给朋友...
郡主难惹
红袖读书首届全球征文大赛参赛作品如果您喜欢郡主难惹，别忘记分享给朋友...
我在斗罗怒爆君焰
杨霄穿越斗罗大陆，觉醒黄金瞳，掌握风水火土精神五大元素。在星斗大森林里怒爆君焰，在史莱克学院时间零秒杀唐三，言灵黑日吞噬万物，言灵审判神鬼皆杀。在面对杀戮之都的暴乱三国之战神界的讨伐，杨霄不得不以战止战，重走封神之路，拿回至高的权与力。如果您喜欢我在斗罗怒爆君焰，别忘记分享给朋友...
联盟：开局暴打可汗
开局顶替sword剑皇上场，暴打可汗，直接给可汗带上痛苦面具。一边吊打各路LCK上单，一边发歌？不会唱跳rap的偶像不是一个好上单？这是一个峡谷之巅路人王重生到LOL职业赛场打职业的故事，梦的起点在LCK，但梦的终点在LPL。天不生我林灿宇，LCK上单万古如长夜。如果您喜欢联盟开局暴打可汗，别忘记分享给朋友...