第1090部分

請關閉瀏覽器的閱讀/暢讀/小說模式並且關閉廣告遮蔽過濾功能，避免出現內容無法顯示或者段落錯亂。

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

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

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

連續統問題，其實可以算是一個三階問題了。而大基數，恰好不能解決三階問題。

內模型發可以完美解決。

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

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

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

從內模型開始，使用力迫法，不斷新增元素，一步步將數學模型本身擴張，直到它能夠容納大基數為止。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

“你……你……”

馮落衣還想說點什麼。

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

馮落衣知道這是實話。

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

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

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

這對築基學派大有裨益。

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

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

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

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

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

但是，沒有覬覦這個位置的對手，築基學派也未必會長久。

其他學派，總會透過“意外發現”，不斷迸發全新的生命力。

但布林巴基學派本身就是沒有“意外發現”的。對他們來說，只