對方不少成就。

在取得長足進步的同時，雙方也都是傷了元氣。

而在這種情況下，身處他鄉、專心編修原算的王崎，就成了現下萬法門所剩不多的“希望之星”。

但很可惜的是……十年，不，不對，不到七年的時間之內，這個“希望之星”也有隕落的風險。

有很多人都覺得，王崎的算理也有可能存在巨大漏洞。

——這簡直就是萬法門自滅滿門的調子。

這種絕望的想法，不止一次的出現了。

馮落衣不置可否。

而就在這一年的冬季，歌庭派不大高興的宣稱，自己似乎完成了希門二十三問第一問的進一步證明。

比蘇君宇那個更為深入。

他們提出了“內模型”的概念。

任何包含“所有序數的序數”的傳遞模型，都是“內模型”。

可構造類，是最小的內模型。

在可構造類之內，無限集的基數一定是二的若干次方的形式的。因此，廣義連續統假設是成立的。

而廣義連續統假設的任何等價或縮小形式，都不可證否。

在借用新連宗的定義之後，他們終於更進一步了。

這一幕實在是彆扭，以至於歌庭內部的喝彩聲都是稀稀拉拉的。

他們還順便完成了選擇公理的探索。

而在這個時候，有一個人表現出了明顯的不滿。

蘇君宇嘆息：“連續統啊……它的後續不應該是這樣的。”

連續統假設的初步證明，是他完成的。他對這個問題，也是有感情的。

對他來說，內模型實在是違反直觀感受，違反他作為基派修士所擁有的“美學”。

怎麼說呢……

太不爽了。

“迴圈是宇宙最為不變的現象。在算學之中刪除迴圈，拒絕為迴圈建模，簡直就是……”

他搖了搖頭。王崎如今是他上司，而馮落衣是王崎師父。但他依舊不喜歡良基集合的概念……嗯，恐怕王崎也不會太喜歡？

另一方面，海霆真人也是的。

認為集合論總體之中，只存在“可構造集合”，未免太過樂觀了。

說到底，整個“內模型”，就是在“相對一致性”的思路上發展而來的。

相對一致性，本身就有“委曲求全”的意思裡。

透過捨棄那些不能並存的，從而達到一致。

削足適履，斬趾避蟲。

他想要更強的東西……

第一百零六章　聯合圍剿

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

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

或者說，他也