第(1/3)頁

    蘇君宇對“下一步”的印象也很模糊。

    他確實不是很喜歡內模型，但是若是說提出個理論將之駁倒，似乎也太過遙遠了一些。

    或者說，他也只是有一些模糊的想法罷了。

    內模型違反算家直觀感受的地方太過了。誠然，正如王崎所說，算學自有自在，不受人為意志的干涉。但是，算家在無數的探索之中，摸索出的“對數字與圖形的感覺”，卻絕非毫無意義。

    實際上，內模型里，違反人直觀感受的東西，實在是太多了。

    比如說，刪除循環。

    這是絕大多數離宗修士都無法接受的事情。

    循環這種東西，在自然界內實在是太常見了。

    別的不說，所有的功法，都必須進行周天循環的。

    沒有這個周天循環，所有的功法都不可能實現。

    不周之算所指出的“自我指涉”與“無限循環”，確實是非常可怕的事情。但這卻只是直指人族大道根基的，而尚未蔓延到自然界中，

    為了繞過不周之算，而刪除了循環，就是在違反正常的認知。

    無法接受。

    甚至連“可構造類就是全部集合”的想法，也是無法接受的。

    蘇君宇對此甚至稍稍冷笑了一下——果然還是有連宗的臭味。

    集合論的整體之中，只有“可構造集”？

    這位是否太過樂觀了一點？

    只可惜，在現有體系之下，這一點是不可被證偽的。

    為此，他必須要找到其他的力量。

    想到這里，他看向了自己靈訊箱內躺著的那一封來函。

    來自于連宗逍遙梵巴赫的信函。

    梵巴赫。

    這個名字，一度讓離宗修士膽寒。

    算君是不屑于專門找人弱點攻擊的。他更喜歡完善自身的理論，讓對方無懈可擊。

    畢竟，君王，總是處于“守勢”的。他們沒有多少需要攻伐的對象。

    但梵巴赫這一類人會。

    從這一封信函之中，他了解到了外面的現狀。

    對于海霆真人的可構造類，連宗也是拒絕接受的的。

    可構造類與選擇公理搭上邊了。而選擇公理，正好會引發分球悖論。

    連宗是一定要對選擇公理下手的。即使是最同情海霆真人的連宗修士，也想要限制選擇公理作用的范圍。

    這全部都是實話。

    梵巴赫沒有隱藏自己的意圖。

    但與此同時，他也指出了另外一點。

    在一個體系之中，引入的“無窮”越強，那么可以證明的東西就越多。

    嗯，這是一個很不“連宗”的說法。

    但這就是從內模型的證明過程之中推測出來的。

    也就是包括“不可達基數”在內的“大基數”

    大基數的好處，也有很多。

    比如說，引入大基數可以直接證明任何可構造的實數集合不會引發分球悖論，并且不需要取消選擇函數。

    比如說，引入大基數可以證明二階算術的完備性。

    這是當年王崎在證明一階完備之后就停滯不前的道路。
    第(1/3)頁