手机浏览器扫描二维码访问
第1288章（第1页）
大基数的好处，也有很多。
比如说，引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论，并且不需要取消选择函数。
比如说，引入大基数可以证明二阶算术的完备性。
这是当年王崎在证明一阶完备之后就停滞不前的道路。
但唯一的问题是……
“大基数”与构造性公理是相互矛盾的。
“对于贵学派来说，推翻可构造类是必然的。王崎所设想的那个，可以执行所有算学的假想实体，算学的根源，根本就不可能在离宗的天理体系之内实现……”
“但若是引入强不可达基数，扭曲天理体系，便是海阔天空……”
“是以，证明不可达基数谱系的安全性，便是证明基派几轮的安全性……”
苏君宇看着这一封信函，仿佛内里有什么魔力一样。
“这算什么？”苏君宇最终也只是叹息：“借助离宗的手，来清除连宗的异己吗？”
——不，离宗和连宗的界限，在这一瞬间，也模糊了吧？
苏君宇这样想着。
或许“异端比异教徒更可恨”，并不仅仅适用于神道学领域。
对于连宗来说，引入天理体系，引入选择公理，扰乱连宗完美几何宇宙图景的海霆，比大多数连宗修士都要可恨许多倍。
离宗又何尝不是呢？
歌庭派和苍生国手、机老的分歧，王崎和冯落衣的分歧……
——不不不……
苏君宇瞬间甩掉了这样的想法。
至少王崎还没有做出选择哩。
苏君宇这样叹息。
果然是一个烂摊子。
早在数日之前，苏君宇就已经将这封信的部分内容转给了王崎。
他现在还在等待王崎的回复与指点。
“不过，说是这样说，但是，有些事情，可能早就有答案了吧——毕竟算学自有自在。”苏君宇躺下，自嘲的说道。
这一两年，基派就是在专心编写《原算》，构建自己的体系。对于这一场论战，就只是无视，或者装死。
但这一次被人点中根脚之后呢？
哪怕是为了基派算学，他也会研究不可达基数。
梵巴赫的阳谋。
苏君宇甚至可以想象到，一张无形的网，正在结成，这一张网，有离宗的成分，也有连宗的成分。而它的目标，就只有一个——海霆。
它是针对“可构造类”而结成的。
“只是，厌恶‘无限’的连宗修士，来提出这个，是不是太拼了一点？”
苏君宇很想笑。但是一想到海霆真人，他又笑不出来了。
眼镜兄撞上恶魔王子 大明孤狼 废材重生：邪王独宠悍王妃 直播和男神同居的日子 系统之娇宠孕妻 赌妃在上，王爷在下 我是狠人大帝的同乡 天地炼成 天黑请开眼 神偷长公主 一爱到底之顾少毒妻 捡到病娇太子之后（重生） 悍妻[医道] 扛着boss拼下限（末世） 娱乐超级奶爸 穿越之弃子国师 断神 时光请善待我的她 烈火燃情：高冷总裁滚远点 最强除妖师
云少宠妻有点甜
关于云少宠妻有点甜颜暮怀了一个素昧平生的男人的孩子，被人害，被人踩。孩子他爹不干了，分分钟让颜暮把他娶回家。结果太意外，老公不仅是大佬，宠妻还有点甜。爱上了闪婚老公，求扑倒姿势在线等，挺着急！...
江山盛世
我本无心争天下，奈何天下迫我争。一次古墓的塌方，灵魂穿越千年。隋初年，帝国初建。洛都世家庶子，惨遭逐出家门。满腹才华，却九品中正盛行，仕途无望。前有北方战败征兵之险，后有家族阴谋祸害之危。重重危机之下，又有种种奇异围绕。爱恨情仇，家国天下，人生重重波折。且看主角如何一步一步走向巅峰。本书热血，风趣，略有YY。江山盛...
二次元之守矢
叮铃伴随着一道清脆宁神的铃铛声，动漫，小说中的美少女们在惊呼声中连忙压下裙角，发丝轻轻摇摆，有清风由快而慢，徐徐吹过如果您喜欢二次元之守矢，别忘记分享给朋友...
神医狂妃有点野
关于神医狂妃有点野被所爱之人爆头是什么体会？上一世的顾浔所爱非人，无人收尸。重活一世，她发誓再也不会相信任何人！废材？她直接取代了渣姐成为天才少女。神器，丹药，萌宠，医书，通通信手拈来，所有欺...
霸道老公深度爱
被姐姐逼迫，替嫁给未来姐夫。他是禹城商界的神话，杀伐果断，冷傲尊贵。替嫁暴露，他震怒，强抓着她演戏抵罪。她只是配合他人前演戏啊，可人后的他为何也抱着她玩亲亲，甚至压着她要做更羞耻的事？霍先生，某种情况我们属同类，有些戏演过分了。夫妻套餐，不过分。翌日，她裹着被子，羞恼地质问霍翌铭，你到底喜欢男人还是女人？嗯，证明力度不够，继续。各位书友要是觉得霸道老公深度爱还不错的话请不要忘记向您如果您喜欢霸道老公深度爱，别忘记分享给朋友...
至尊丹帝
★精华简介★阿里文学原创丹尊陆宇炼制仙丹失败，之后重生成为世家少主，有前世无数神功秘法和炼丹记忆，有今生重修打下的坚实基础，陆宇注定要踏出一条辉煌大路，踏丹道巅峰，名扬天下，美人倾心，斩破天地，逍遥长生。还有什么能够挡得住他的崛起？！...