手机浏览器扫描二维码访问
第1287章（第2页）
冯落衣不置可否。
而就在这一年的冬季，歌庭派不大高兴的宣称，自己似乎完成了希门二十三问第一问的进一步证明。
比苏君宇那个更为深入。
他们提出了“内模型”的概念。
任何包含“所有序数的序数”的传递模型，都是“内模型”。
可构造类，是最小的内模型。
在可构造类之内，无限集的基数一定是二的若干次方的形式的。因此，广义连续统假设是成立的。
而广义连续统假设的任何等价或缩小形式，都不可证否。
在借用新连宗的定义之后，他们终于更进一步了。
这一幕实在是别扭，以至于歌庭内部的喝彩声都是稀稀拉拉的。
他们还顺便完成了选择公理的探索。
而在这个时候，有一个人表现出了明显的不满。
苏君宇叹息：“连续统啊……它的后续不应该是这样的。”
连续统假设的初步证明，是他完成的。他对这个问题，也是有感情的。
对他来说，内模型实在是违反直观感受，违反他作为基派修士所拥有的“美学”。
怎么说呢……
太不爽了。
“循环是宇宙最为不变的现象。在算学之中删除循环，拒绝为循环建模，简直就是……”
他摇了摇头。王崎如今是他上司，而冯落衣是王崎师父。但他依旧不喜欢良基集合的概念……嗯，恐怕王崎也不会太喜欢？
另一方面，海霆真人也是的。
认为集合论总体之中，只存在“可构造集合”，未免太过乐观了。
说到底，整个“内模型”，就是在“相对一致性”的思路上发展而来的。
相对一致性，本身就有“委曲求全”的意思里。
通过舍弃那些不能并存的，从而达到一致。
削足适履，斩趾避虫。
他想要更强的东西……
第一百零六章联合围剿
苏君宇对“下一步”的印象也很模糊。
他确实不是很喜欢内模型，但是若是说提出个理论将之驳倒，似乎也太过遥远了一些。
或者说，他也只是有一些模糊的想法罢了。
内模型违反算家直观感受的地方太过了。诚然，正如王崎所说，算学自有自在，不受人为意志的干涉。但是，算家在无数的探索之中，摸索出的“对数字与图形的感觉”，却绝非毫无意义。
实际上，内模型里，违反人直观感受的东西，实在是太多了。
比如说，删除循环。
一爱到底之顾少毒妻 悍妻[医道] 扛着boss拼下限（末世） 眼镜兄撞上恶魔王子 娱乐超级奶爸 废材重生：邪王独宠悍王妃 天黑请开眼 大明孤狼 最强除妖师 烈火燃情：高冷总裁滚远点 神偷长公主 捡到病娇太子之后（重生） 我是狠人大帝的同乡 直播和男神同居的日子 天地炼成 断神 赌妃在上，王爷在下 系统之娇宠孕妻 穿越之弃子国师 时光请善待我的她
萌妻来袭
关于萌妻来袭转醒，视线渐渐清晰。头顶是华丽的吊灯，她直挺挺的躺在松软的床上，脑袋里一片浆糊，一夜好梦，竟不知身在何处？关键是，到底发生了什么？海小米敲敲锈掉的脑壳，记忆逐渐清明。昨天她刚回国，又逢好友苏娜失恋，两人喝酒来着，醉到了深处...
眸中客
红袖读书首届全球征文大赛参赛作品如果您喜欢眸中客，别忘记分享给朋友...
农门福女娇宠日常
林安安穿越了，她来自末世，在末世成立了基地，是一方领土的霸主，拥有治愈系和毒系两种异能，谁能想到末世大佬竟成了农家媳妇！林安安原本以为自己穿越到一个无关紧要的普通人身上，嫁给了一个无关紧要的农家泥腿子，当看到秦三郎的真名，联想到发生的一系列事情，才知道自己是穿书了！原书中自家夫君的下场无比凄惨，自己宠着的人怎么能被人欺负！磨刀霍霍准备反转剧情，谁知还没实施行动，她家夫君重生了！秦三郎（秦鹿）前世，是反贼窝里的二把手，所有的策略都是他策划的，最后他助反王造反成功，反王却设计他与反王妻子有染，亲手诛杀。当重生归来，他选择了自立为王如果您喜欢农门福女娇宠日常，别忘记分享给朋友...
戏精女配真不想抢男主
在咖啡馆打个工能被人怨恨捅死的阮素，突然被系统告知她需要在各个位面完成任务才能消除身上的怨念值。为了消除身上怨念值，阮素不得不苦兮兮地过上打工人的生活。穿越各个小世界消除男主们快爆棚的黑化值，还要小心其他主角团的人盯上她。只是一穿进来，阮素就要暴走了。这些原主都是怎么回事，没事惹了男主就跑，让她一个人来当背锅侠！真是人在家中坐，锅从天上来！面对黑化的男主们，阮素只能硬着头皮消除黑化值。她本只是兢兢业业地在系统的安排下做任务，结果本该对女主死心塌地的男主们，个个都移情别恋了！阮素我只想快点搞完任务回家恰饭，大佬别那么认真啊！1v1如果您喜欢戏精女配真不想抢男主，别忘记分享给朋友...
弃婿如龙
关于弃婿如龙结婚三年，废物女婿忍受各路白眼，可他却坐拥亿万资产...
快穿：魔王，宠溺入骨
一域称霸的花灵，因空间裂缝投生成叶家小姐。用十六年快恢复灵体时又被人害死。叶溪云，还有完没完了。和二货系统签订契约，从此走上被坑之路。因冥冥中一丝缘分，与某人相遇。从此被纠缠永生永世。如果您喜欢快穿魔王，宠溺入骨，别忘记分享给朋友...