手机浏览器扫描二维码访问
第一百二十二章 养狼计划（第1页）
（小燕文学WwW.XiaoYanwenXue.CoM）
王崎要跟冯落衣说的，自然就是内模型计划了。
内模型和可构造类，差不多就是花与果的关系了。可构造类是花，内模型是果。
但是，内模型毕竟是有致命缺陷的。
首先，它是完全建立在良基集合之上的。而算学也确实是存在只有非良基集合才能驾驭的部分。
而且，它也排除了循环，不包含无穷降链。
另外，它也不能容纳包括第一、第二不可达基数在内的大基数。
大基数好处有很多。之前也说过，引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论，并且不需要取消选择函数；引入大基数可以证明二阶算术的完备性，等等。
而筑基学派的理论体系想要发展，也必须要有大基数才行。
但内模型也并非一无是处。
连续统问题，其实可以算是一个三阶问题了。而大基数，恰好不能解决三阶问题。
内模型发可以完美解决。
所以，为了大基数，而抛弃内模型，也是捡了芝麻丢了西瓜的蠢事。
所以，王崎就提出了一个想法。
一个很自然的，“合在一起做撒尿牛丸”的想法。
从内模型开始，使用力迫法，不断添加元素，一步步将数学模型本身扩张，直到它能够容纳大基数为止。
力迫法本身就是通过不断添加元素，使得两个不同集合的联系暴露，最终达到一种“让理论自己证明自己”的效果的。
内模型计划，算是元算之算的最终极了。
王崎说得轻松，但是冯落衣却听得骇然。
“这……你知道自己在说什么吗？”他在房间之中来回踱步。
实际上，在筑基纲领出现的时候，他对良基集合的态度都有些动摇了。
梵巴赫都已经指出了，良基集合不足以容纳筑基学派的算理。
内模型也是建立在良基集合之上的。
如果自己的理论，必然要排除这样伟大的东西……
在筑基纲领面前，他确实是动摇了对自己成果的坚信。
也就是这部分东西刚做出来，还没有被纳入功体之中，所以他才能表现得这样轻松。
但王崎的话，却重新点燃了他对自己成果的信心。
或许，他不是最终正确的那个。但是，他终究是为算学添砖加瓦铺过路的人
冯落衣深吸一口气，说道：“若是我说给歌庭派的那些人听，他们非疯了不可。”
说道这里，冯落衣忍不住再次确认：“你真的知道自己在说什么吗？”
王崎点了点头：“知道，清楚，了解。”
内模型计划，也可以说是另一个希尔伯特计划的升级版本，是一个大计划。
另外，这也是新形式主义者的最后一杆大旗。
或者说，这是给歌庭派续命的。
如果没有这个计划，那么歌庭派在可见的未来，算是半点参与纯粹算学研究的方向都不会有了。
有了这个，却可以多支撑一些时日。
反超筑基学派是做不到。筑基纲领、基本引理，已经注定了未来是筑基学派的。
万法门的未来，每一个算学家，都会使用基派的思路，基派的命名，基派的方法。
玄玑图 死亡神座 纸醉江山 重生之天生我才 我叫布里茨 美女教师的鬼医高手 醉卧九天 道梦之轮回 神捕乱宋 美女总裁老婆 鼎天武帝 网游之零纪元 兽王三国 黑暗剑圣 苍天霸业 超级特警综合系统 与女精灵的地球生活 霸隋 舞吧，傀儡 权柄大明
抗战之我的团长是李云龙
简介丁伟何家镇就是杨恺帮我打下来的，杨恺是我的人！孔捷不对！山本的特工队是杨恺帮我赶跑的，杨恺是冲着我来的！李云龙急了你们那都不算！没有他，我打不掉坂田联队，他是老子的！大一挥手你们都别争了！这小子老子看中了，以后就留在总部了！杨恺一朝穿越，被系统加身，枪神术，搏击术，万国语言，技能加身。系统商城开启，狙击枪，轻机枪，重机枪，迫击炮，意大利炮，坦克，飞机，想什么有什么，只有你想不到，没有我搞不到！打得鬼子嗷嗷叫，几个团长为了他，争的头破血流。连晋绥军的楚云飞都眼红了不行！杨恺...
擎天战神全文免费阅读
一代战神秦九州重归都市，为弥补遗憾，搅动风起云涌，以不败之资横行四方，诸天震颤。...
全世界都有我的马甲
4月21日入v，届时万更！除非特殊情况，本文日更至完结，坑品好，作者专栏里还有几篇完结文期待各位读者小天使的临幸！乔书亚穿越了，除了一个要靠运气的抽卡直播系统外没得任何外挂。而比起被世界改变，他更喜欢成为改变世界的人。支配邪恶的教授，神出鬼没的月下魔术师怪盗，剑仙白云城主，日呼神之子和与他相爱相杀的胞兄金色闪光等等名震伟大航道的人物都是乔书亚的马甲。于是世上最神秘的事情不再是伟大航道的尽头到底有什么，而是那被各色大佬称呼为主公那位大人尊上的，到底是谁。等垃圾抽卡直播系统升级后，已经称霸了整个伟大航道的乔书亚准备去异世界搞事了。于是异能力者的城市横滨忽然出现了可以实现一切欲望的愿望机器圣杯，古老历史传说早已死去的英灵们再度复苏。坐立于光辉神殿之中的法老王，带领着百鬼夜行的阴阳师，苏美尔的最古之王，拔出石中剑的骑士王面对未知的种种，横滨的异能者们又该如何应对？幕后黑手乔书亚手拿剧本放心，都给各位安排明白了。文中大概还会出现一些冷门的电影和动画角色，到时候会在作者有话说中推荐的！预收文综晴明只想过平静的生活主角是正太晴明！正太晴明是世界的瑰宝！温柔地饲养哒宰的方法神明如何饲养心爱的人类...
逆天神医妃：王爷，我不嫁
...
萌妻无敌，老婆求抱抱
第一次见面，她就被他摸了胸，再次见面，他竟然成了他的叔叔，还要同住一个屋檐下？？肿么破？某日清晨醒来，苏萌萌看着睡在身旁的男人，一声怒吼说道叔叔，你怎么睡在我房间？某男曰叔叔？看来昨天晚上我并没有让你记住我是你的男人！话落间，倾身而上，某女哀嚎，夜殇，你的手往哪里摸！...
唐朝好驸马
认祖归宗之时，现代长孙冲被吸入末世空间，为了再次见到父母，不得已被送入唐朝，成为唐朝驸马长孙冲！来到唐朝，人生地不熟，当然要抱最粗的大腿，皇帝最大，嗯，那就李二吧！李二是个好皇帝，成功的帝王，但不是一个好兄弟，好儿子，好父亲。为了能够顺利抱上最粗的大腿，长孙冲极力巴结姑丈李二，帮他孝敬太上皇，调教众皇子。悲催的发现这样还不行，那些个女婿除了他长孙冲，其他也都不是什么好鸟，还得替李二调教女婿。李二吐沫横飞，指点江山只有一个好儿子不行，我要一群好儿子一个好驸马不够，我要一群好驸马。长孙冲举手弱弱说一句您确定这是调教皇子，驸马，而不是养猪赶牛放马？...