手机浏览器扫描二维码访问
第1287章（第2页）
冯落衣不置可否。
而就在这一年的冬季，歌庭派不大高兴的宣称，自己似乎完成了希门二十三问第一问的进一步证明。
比苏君宇那个更为深入。
他们提出了“内模型”的概念。
任何包含“所有序数的序数”的传递模型，都是“内模型”。
可构造类，是最小的内模型。
在可构造类之内，无限集的基数一定是二的若干次方的形式的。因此，广义连续统假设是成立的。
而广义连续统假设的任何等价或缩小形式，都不可证否。
在借用新连宗的定义之后，他们终于更进一步了。
这一幕实在是别扭，以至于歌庭内部的喝彩声都是稀稀拉拉的。
他们还顺便完成了选择公理的探索。
而在这个时候，有一个人表现出了明显的不满。
苏君宇叹息：“连续统啊……它的后续不应该是这样的。”
连续统假设的初步证明，是他完成的。他对这个问题，也是有感情的。
对他来说，内模型实在是违反直观感受，违反他作为基派修士所拥有的“美学”。
怎么说呢……
太不爽了。
“循环是宇宙最为不变的现象。在算学之中删除循环，拒绝为循环建模，简直就是……”
他摇了摇头。王崎如今是他上司，而冯落衣是王崎师父。但他依旧不喜欢良基集合的概念……嗯，恐怕王崎也不会太喜欢？
另一方面，海霆真人也是的。
认为集合论总体之中，只存在“可构造集合”，未免太过乐观了。
说到底，整个“内模型”，就是在“相对一致性”的思路上发展而来的。
相对一致性，本身就有“委曲求全”的意思里。
通过舍弃那些不能并存的，从而达到一致。
削足适履，斩趾避虫。
他想要更强的东西……
第一百零六章联合围剿
苏君宇对“下一步”的印象也很模糊。
他确实不是很喜欢内模型，但是若是说提出个理论将之驳倒，似乎也太过遥远了一些。
或者说，他也只是有一些模糊的想法罢了。
内模型违反算家直观感受的地方太过了。诚然，正如王崎所说，算学自有自在，不受人为意志的干涉。但是，算家在无数的探索之中，摸索出的“对数字与图形的感觉”，却绝非毫无意义。
实际上，内模型里，违反人直观感受的东西，实在是太多了。
比如说，删除循环。
系统之娇宠孕妻 时光请善待我的她 一爱到底之顾少毒妻 穿越之弃子国师 悍妻[医道] 断神 赌妃在上，王爷在下 我是狠人大帝的同乡 扛着boss拼下限（末世） 天地炼成 废材重生：邪王独宠悍王妃 神偷长公主 烈火燃情：高冷总裁滚远点 捡到病娇太子之后（重生） 大明孤狼 最强除妖师 直播和男神同居的日子 娱乐超级奶爸 眼镜兄撞上恶魔王子 天黑请开眼
天才神医宠妃
一夜是我的女人，一辈子就是我的女人！她不小心将妖孽美男吃抹干净，从此夜夜被缠不得眠。她是天才神医，腹黑机智，带着宝贝女儿，斗智斗勇斗渣男。大哥，那一夜，我买过单的，咱们好聚好散，别阴魂不散！如果您喜欢天才神医宠妃，别忘记分享给朋友...
天才萌宝：总裁爹地放肆宠
关于天才萌宝总裁爹地放肆宠盛传厉氏的总裁神秘而又冷酷，没什么人见过他的真面目。直到那个算计了他的种的小女人出现，厉总从神秘变成陪女人逛街是常态，冷酷变温柔，妥妥的一个宠妻狂魔。小包子眼看着妈咪要被抢，愤怒的一掐小腰，爹地你要不要脸？某人微微一笑，要人不要脸。...
一胎两宝：娘亲有点田
一朝穿越，温言成了孩子娘！这孩子听话懂事不说，还天生的锦鲤好运，简直不要太好！有了他，他们一上山就捡野鸡野兔不说，一去镇上摆摊东西更是全部卖空。不仅如此。去读书他还秒杀众学子，记忆力超群，学啥啥会，妥妥的天道宠儿！直到某一天。温言忽然发现自己儿子今天，啥啥捡不到，卖东西卖不出去，运气霉得能气死人，说话好的不灵坏的灵，她才知道自己原来还有一个儿子！而这儿子竟然是那狗男人的孩子！如果您喜欢一胎两宝娘亲有点田，别忘记分享给朋友...
崇祯窃听系统
崇祯皇帝身处深宫，被人忽悠而吊死煤山。可如果他有窃听系统在手，能听到别人背后的议论，那还能亡国灭种么？好吧，崇祯皇帝还是穿越的，虽然已经是崇祯十一年末，可结果必定会改变！金戈铁马，气吞万里如虎，我崇祯活这一世，大明必定中兴！（这是有系统加持的正经穿越历史文！）如果您喜欢崇祯窃听系统，别忘记分享给朋友...
最强神尊
关于最强神尊万载之前他带领人族与危难中崛起，最终凌驾九天之上承载天命成就万古神尊！却在冲击至高神境之时遭人偷袭陨落…万载之后人族衰亡传承断裂之际他以残魂重生，觉醒万古第一禁忌体，以无敌之资碾...
异瞳临世：军少之霸宠甜妻
内容简介重生前，韩绍棋就是她的天，她的地，她的春暖花开，她的全世界，她的眼里除了他什么都看不到。重生后，韩绍棋于她而言，即便不是生死仇人，却也再不是她的天，她的地，她的全世界。只要这辈子他不再来招惹她，甘心跟她做个陌生人，那么她可以看在上天有好生之德的份上放他一条生路。如若他非要不知死活的再次卷入她的世界里，那么...