第一百二十二章 養狼計劃

王崎要跟馮落衣說的，自然就是內模型計劃了。

內模型法和可構造類，差不多就是花與果的關系了。可構造類是花，內模型法是果。

但是，內模型法畢竟是有致命缺陷的。

首先，它是完全建立在良基集合之上的。而算學也確實是存在只有非良基集合才能駕馭的部分。

而且，它也排除了循環，不包含無窮降鏈。

另外，它也不能容納包括諸多大基數譜系，無論是之前定義的不可達基數，還是非常好用但是定義上非常扭曲直觀上比較詭異的武丁基數（當然，在這邊的宇宙或許要叫做蘇君宇基數或者直接就叫王琦基數了），還是延展系統基數的典範——超緊致基數，都不在可構造類的範圍內。

大基數好處有很多。之前也說過，引入大基數可以直接證明任何可構造的實數集合不會引發分球悖論，並且不需要取消選擇函數；引入大基數可以證明二階算術的完備性，等等。

而築基學派的理論體系想要發展，也必須要有大基數才行。

但內模型也並非一無是處。

連續統假設，其實可以算是一個三階算術的強力問題了。而大基數，恰好只能解決二階算術的完備性。

而使用內模型就可以完美解決。

所以，為了大基數，而拋棄內模型，也是撿了芝麻丟了西瓜的蠢事。

所以，王崎就提出了一個想法。

一個很自然的，“合在一起做撒尿牛丸”的想法。

從可構造類開始，使用力迫法，不斷添加元素，一步步將可構造類的模型本身擴張，直到它能夠容納大基數為止。

力迫法本身就是通過不斷添加元素，使得兩個不同集合的聯系暴露，最終達到一種“讓理論自己證明自己”的效果的技術。

內模型計劃，算是元算之算的最終極了。

王崎說得輕松，但是馮落衣卻聽得駭然。

“這……你知道自己在說什麽嗎？”他在房間之中來回踱步。

實際上，在築基綱領出現的時候，他對良基集合的態度都有些動搖了。

梵巴赫都已經指出了，良基集合不足以容納築基學派的算理。

內模型也是建立在良基集合之上的。

如果自己的理論，必然要排除這樣偉大的東西……

在築基綱領面前，他確實是動搖了對自己成果的堅信。

也就是這部分東西剛做出來，還沒有被納入功體之中，所以他才能表現得這樣輕松。

但王崎的話，卻重新點燃了他對自己成果的信心。

或許，他不是最終正確的那個。但是，他終究是為算學添磚加瓦鋪過路的人。

馮落衣深吸一口氣，說道：“若是我說給歌庭派的那些人聽，他們非瘋了不可。”

說到這裏，馮落衣忍不住再次確認：“你真的知道自己在說什麽嗎？”

王崎點了點頭：“知道，清楚，了解。”

內模型計劃，也可以說是另一個希爾伯特計劃的升級版本，是一個大計劃。

另外，這也是新形式主義者的最後一杆大旗。

或者說，這是給歌庭派續命的。

如果沒有這個計劃，那麽歌庭派在可見的未來，算是半點參與純粹算學研究的方向都不會有了。

有了這個，卻可以多支撐一些時日。

反超築基學派是做不到。築基綱領、基本引理，已經注定了未來是築基學派的。

萬法門的未來，每一個算學家，都會使用基派的思路，基派的命名，基派的方法。

但至少衰落之勢可以慢一點了。

在築基學派登頂之前，王崎還需要擔心，給歌庭派續命，會不會影響基派發展。

但是現在，已經沒什麽值得擔心的了。

除非算君突然轉了性，對純粹算理的興趣，突然超過了應用，並且還全心全意的主持少黎派，才有可能稍微延緩一下築基學派的崛起。

但在很多年之內，都不會有人在“搶奪弟子”方面可以超過基派了。

“你……你……”

馮落衣還想說點什麽。

王崎卻說道：“就算集合論不再是算學的根基，元算之算也有很強的指導意義。這本身對築基學派也有巨大好處。”

馮落衣知道這是實話。

築基學派的理論系統，是非得要有“大基數”這個概念不可的。

將大基數納入內模型，算是對基派理論的補充。

實際上，內模型計劃，本身就是平行於布爾巴基學派、朗蘭茲綱領，但是又對後兩者有正面影響的東西。

這對築基學派大有裨益。

更何況，王崎現在需要擔心的，已經不是基派能不能崛起了。

更擔心築基學派能不能長久的走下去。

神州的老前輩們可以一直活下去。

王崎就打算將這一點也利用起來。

築基學派，確實需要萬法門頂峰的位置。