第(1/3)頁

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

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

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

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

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

    另外，它也不能容納包括第一、第二不可達基數在內的大基數。

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

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

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

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

    內模型發可以完美解決。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    萬法門的未來，每一個算學家，都會使用基派的思路，基派的命名，基派的方法。
    第(1/3)頁