手机浏览器扫描二维码访问
第1288章（第1页）
大基数的好处，也有很多。
比如说，引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论，并且不需要取消选择函数。
比如说，引入大基数可以证明二阶算术的完备性。
这是当年王崎在证明一阶完备之后就停滞不前的道路。
但唯一的问题是……
“大基数”与构造性公理是相互矛盾的。
“对于贵学派来说，推翻可构造类是必然的。王崎所设想的那个，可以执行所有算学的假想实体，算学的根源，根本就不可能在离宗的天理体系之内实现……”
“但若是引入强不可达基数，扭曲天理体系，便是海阔天空……”
“是以，证明不可达基数谱系的安全性，便是证明基派几轮的安全性……”
苏君宇看着这一封信函，仿佛内里有什么魔力一样。
“这算什么？”苏君宇最终也只是叹息：“借助离宗的手，来清除连宗的异己吗？”
——不，离宗和连宗的界限，在这一瞬间，也模糊了吧？
苏君宇这样想着。
或许“异端比异教徒更可恨”，并不仅仅适用于神道学领域。
对于连宗来说，引入天理体系，引入选择公理，扰乱连宗完美几何宇宙图景的海霆，比大多数连宗修士都要可恨许多倍。
离宗又何尝不是呢？
歌庭派和苍生国手、机老的分歧，王崎和冯落衣的分歧……
——不不不……
苏君宇瞬间甩掉了这样的想法。
至少王崎还没有做出选择哩。
苏君宇这样叹息。
果然是一个烂摊子。
早在数日之前，苏君宇就已经将这封信的部分内容转给了王崎。
他现在还在等待王崎的回复与指点。
“不过，说是这样说，但是，有些事情，可能早就有答案了吧——毕竟算学自有自在。”苏君宇躺下，自嘲的说道。
这一两年，基派就是在专心编写《原算》，构建自己的体系。对于这一场论战，就只是无视，或者装死。
但这一次被人点中根脚之后呢？
哪怕是为了基派算学，他也会研究不可达基数。
梵巴赫的阳谋。
苏君宇甚至可以想象到，一张无形的网，正在结成，这一张网，有离宗的成分，也有连宗的成分。而它的目标，就只有一个——海霆。
它是针对“可构造类”而结成的。
“只是，厌恶‘无限’的连宗修士，来提出这个，是不是太拼了一点？”
苏君宇很想笑。但是一想到海霆真人，他又笑不出来了。
眼镜兄撞上恶魔王子 悍妻[医道] 我是狠人大帝的同乡 一爱到底之顾少毒妻 废材重生：邪王独宠悍王妃 大明孤狼 断神 最强除妖师 扛着boss拼下限（末世） 烈火燃情：高冷总裁滚远点 天黑请开眼 系统之娇宠孕妻 娱乐超级奶爸 穿越之弃子国师 天地炼成 捡到病娇太子之后（重生） 神偷长公主 赌妃在上，王爷在下 直播和男神同居的日子 时光请善待我的她
墨如雨上
三世情劫，只为你一人，天下之大，只有我心似你心。一个是凌云山的神女，一个是魔界少主，一个是妖帝，三人之间，爱恨纠葛，缘许三生，三生三世只有你一人相守。情不知所起，偶然的邂逅，遇见他，爱上他，便全然不顾神仙的身份，只为他一人，缘起缘灭，轮回三世，终得圆满。如果您喜欢墨如雨上，别忘记分享给朋友...
重生之鬼王归来
王者归来，笑傲花都！什么？你是兵王，会坦克漂移？你是宗师，能生擒龙虎？你是超能者，可唤风雷？不好意思，我不是针对谁，各位在我眼中，都是垃圾！...
豪门掠情：总裁大人极致爱
...
偏执大佬和他的猫
每天固定更新时间1830韩佳之从来没想过，她只不过是玩了一场大冒险，从此就多了一个男朋友！！如此草率，当然不能做数！韩佳之想做我的男朋友，首先得打得过我！杜止谦好那一天，空手道黑带的韩佳之第一次感受到了压倒性的力量。韩佳之18岁生日那天，她搂着杜止谦的腰，无比暧昧。当晚，杜止谦坐在床边，给韩佳之讲了一晚上的马克思主义哲学。韩佳之如果您喜欢偏执大佬和他的猫，别忘记分享给朋友...
顾太太，我们什么时候复婚
两年前，林嘉阮逼着顾霆深和自己结婚了，可顾霆深心里却住着一个白月光，所有人都没把林嘉阮当回事，只是把她当做一个笑话罢了。两年后，林嘉阮递出一纸离婚协议书顾霆深，我们离婚吧，我净身出户。顾霆深一开始只以为她在玩欲擒故纵的把戏，后来他发现不是，顾霆深开始慌了，林嘉阮，你敢离婚？林嘉阮别整那些有的没的，赶紧和我去把离婚证给领了。听说外甥在追林嘉阮，顾霆深坐不住了，他开始穷追猛打，锲而不舍的追妻火葬场之路。顾霆深顾太太，我们什么时候复婚？林嘉阮一边去，复什么婚，我现在不需要爱情，只想搞事业，涨粉他不香吗？阅读指南1顾霆深高冷傲娇×林嘉阮想涨粉搞事业2虐妻一时爽，追妻火葬场如果您喜欢顾太太，我们什么时候复婚，别忘记分享给朋友...
舟行诸天
一个平凡少年，为了追求健康长生，行走在诸天世界的故事如果您喜欢舟行诸天，别忘记分享给朋友...