手机浏览器扫描二维码访问
第1287章（第2页）
冯落衣不置可否。
而就在这一年的冬季，歌庭派不大高兴的宣称，自己似乎完成了希门二十三问第一问的进一步证明。
比苏君宇那个更为深入。
他们提出了“内模型”的概念。
任何包含“所有序数的序数”的传递模型，都是“内模型”。
可构造类，是最小的内模型。
在可构造类之内，无限集的基数一定是二的若干次方的形式的。因此，广义连续统假设是成立的。
而广义连续统假设的任何等价或缩小形式，都不可证否。
在借用新连宗的定义之后，他们终于更进一步了。
这一幕实在是别扭，以至于歌庭内部的喝彩声都是稀稀拉拉的。
他们还顺便完成了选择公理的探索。
而在这个时候，有一个人表现出了明显的不满。
苏君宇叹息：“连续统啊……它的后续不应该是这样的。”
连续统假设的初步证明，是他完成的。他对这个问题，也是有感情的。
对他来说，内模型实在是违反直观感受，违反他作为基派修士所拥有的“美学”。
怎么说呢……
太不爽了。
“循环是宇宙最为不变的现象。在算学之中删除循环，拒绝为循环建模，简直就是……”
他摇了摇头。王崎如今是他上司，而冯落衣是王崎师父。但他依旧不喜欢良基集合的概念……嗯，恐怕王崎也不会太喜欢？
另一方面，海霆真人也是的。
认为集合论总体之中，只存在“可构造集合”，未免太过乐观了。
说到底，整个“内模型”，就是在“相对一致性”的思路上发展而来的。
相对一致性，本身就有“委曲求全”的意思里。
通过舍弃那些不能并存的，从而达到一致。
削足适履，斩趾避虫。
他想要更强的东西……
第一百零六章联合围剿
苏君宇对“下一步”的印象也很模糊。
他确实不是很喜欢内模型，但是若是说提出个理论将之驳倒，似乎也太过遥远了一些。
或者说，他也只是有一些模糊的想法罢了。
内模型违反算家直观感受的地方太过了。诚然，正如王崎所说，算学自有自在，不受人为意志的干涉。但是，算家在无数的探索之中，摸索出的“对数字与图形的感觉”，却绝非毫无意义。
实际上，内模型里，违反人直观感受的东西，实在是太多了。
比如说，删除循环。
天黑请开眼 废材重生：邪王独宠悍王妃 断神 悍妻[医道] 穿越之弃子国师 直播和男神同居的日子 捡到病娇太子之后（重生） 最强除妖师 天地炼成 烈火燃情：高冷总裁滚远点 我是狠人大帝的同乡 眼镜兄撞上恶魔王子 神偷长公主 娱乐超级奶爸 一爱到底之顾少毒妻 赌妃在上，王爷在下 扛着boss拼下限（末世） 大明孤狼 时光请善待我的她 系统之娇宠孕妻
陪达芬奇超神的日子
每早七点更新超好看哟不要错过O3OWIFI之母，海蒂拉玛。世界上首位全裸出镜的好莱坞女王，电子前沿基金会先锋奖获得者，无线通讯的启明星，美艳与智慧的宠儿。她一觉醒来，发现自己睡在一个陌生的街头。路边的男人把她捡了回去，还随手煮了一碗香喷喷的意大利面试图投喂。我的名字？列奥纳多迪皮耶罗达...
孔方世界
新书求支持简介慢穿小世界，带着随身空间去末世，去星际，去修仙最后回来陪爸爸开面馆。周霜霜本来觉得这就是自己的人生，没想到，有一天末世会降临到自己的世界。老规矩，无CP，无极...
模拟器：开局天牢死囚
叶流云魂穿异界，一来就出现在天牢，而且三日之后就要问斩！好在觉醒了神级模拟器，花费名望，即可进行模拟，每一次模拟之后，都可以随机选择保留一个天赋能力！你选择认罪，并且随意攀咬他人，说是受人指使！金刀卫查探之后发现你牛头不对马嘴，将你凌迟处死！你选择喊冤，喊破喉咙也没有人理你！三日之后，你被法场处斩！你选择三日之后，你被法场处斩！叶流云一阵欲哭无泪，我想回地球！如果您喜欢模拟器开局天牢死囚，别忘记分享给朋友...
郡主难惹
红袖读书首届全球征文大赛参赛作品如果您喜欢郡主难惹，别忘记分享给朋友...
我在斗罗怒爆君焰
杨霄穿越斗罗大陆，觉醒黄金瞳，掌握风水火土精神五大元素。在星斗大森林里怒爆君焰，在史莱克学院时间零秒杀唐三，言灵黑日吞噬万物，言灵审判神鬼皆杀。在面对杀戮之都的暴乱三国之战神界的讨伐，杨霄不得不以战止战，重走封神之路，拿回至高的权与力。如果您喜欢我在斗罗怒爆君焰，别忘记分享给朋友...
联盟：开局暴打可汗
开局顶替sword剑皇上场，暴打可汗，直接给可汗带上痛苦面具。一边吊打各路LCK上单，一边发歌？不会唱跳rap的偶像不是一个好上单？这是一个峡谷之巅路人王重生到LOL职业赛场打职业的故事，梦的起点在LCK，但梦的终点在LPL。天不生我林灿宇，LCK上单万古如长夜。如果您喜欢联盟开局暴打可汗，别忘记分享给朋友...