第一百零三章 第二幕的前奏（2/2）

「任何集合都是良序……或者說，只有良序集合，才是有意義的、合法的集合。」

看著這一道全新的公理體系，算君老懷大慰，甚至連眼角都已經濕潤了。

「康門主……」算主哽咽道：「弟子柏澈，有負所託……所幸尚有同道，從我的手中，接過了離宗的標杆……現在，我們離宗，已經……已經……在堅實的基礎上，站住腳了！離宗成功了！」

萬法門前代門主「天集」康駝兒創造集合論的時代起，集合論就一直在受到質疑。

所謂「煉丹師悖論」的東西，一直都存在。

而近代，「煉丹師悖論」這一類問題，被王崎換了一個更為恰當的名字——「自我指涉」，並被直接的暴露了出來。

自我指涉，以及無限循環，是集合論無法規避的天魔。

而現在，已經不用擔心這個問題了。

離宗正在走向一個堅實的基礎。

他是這樣認為的。

就在這個時候，一個青年跑了進來，神色之中，帶著一點驚恐：「太師父！太師父……不……」

他說到一半，突然住嘴，轉身就想要離去。

但希柏澈卻叫住了他，沉聲問道：「是不是連宗又出新花樣了？」

那弟子僵硬的搖頭，但最後卻在算主的注視之下，點了點頭，道：「太師父，這個……」

「結果很不好嗎？」

「也未必……很不好，那個……這……這個？」

算主低吼道：「慌什麼？難道是比不周之算更嚴重的東西嗎？啊？」

那弟子這才稍稍鎮靜：「不是……」

「月寒的新體系，被人駁倒了？」

「不……沒有。」那弟子嘆息一聲，將一篇信函遞給希柏澈：「您自己看吧……」

「梵巴赫……姓梵的那個？」希柏澈瞪大眼睛。

這可不是好兆頭。

「致希門主：一別經年……」

這一封信函的前半部分，全都不是客套話。算主直接跳過了。他看到信函的中間部分。

「……希門主還請回想一二。有窮集合之內，除了通過不證自明的公理直接宣告之外，是否有一種運算操作，可以接觸到第一個可數技術『道真之零』【Beth-0】？……康門主昔日之雄心，不外乎『所有序數之序數』。姑且拋下不周之算，且看起本身。至少，這以概念之內的全部元素，都是低層次序數通過集合論運算而來……」

看到這裡，算主心中已經隱隱有了一絲不安。

儘管算學就是將「不證自明」說透的東西，但是，那也只是「發現過去被認為是「公理」的事物其實不是公理」的過程而已。

邏輯必然存在原點。

所謂「原點」，就是「不證自明」的公理。

這是一切邏輯思維的起點。

王崎就算不喜歡這個說法，暫時也沒有跳出這怪圈的思路。

「是以，吾等可以宣告一個全新的無窮公理，其名越不可達基數存在公理。」

「不可達基數，居於其之下的基數無論通過怎麼樣的集合論運算，都不可能達到的基數。」

「所以，第一不可達基數便是第一可數技術，第二不可達基數便是比「所有序數的序數的基數」更大的基數……」

「滴答……」

算主一愣，發現自己嘴角逐漸淌下一點血來。

不知不覺間，自己的臟腑居然已經嚴重受創了。

再看那信，居然已經有些視線模糊了。

「真是……狠毒……」

這位連宗的逍遙，並沒有想要直接駁倒馮落衣。

實際上，當馮落衣證明「無窮公理在良基集合的體系下不可證明也不可證偽」的時候，就已經立於不敗之地了。

所以，他只是挑明了另一件事。

馮落衣的良基集合，與歌庭派所秉持的經典集合論、經典邏輯，同樣不合拍。

歌庭派、馮落衣圖靈、王崎的基派，看似全都是離宗干將。

但實際上，他們自己之間的分歧，都大得可怕。

或許這不能算有力的反擊，但是，歌庭派與馮落衣的分歧，總能為連宗爭取時間。