萬法門內部，好像燃起了一團大火，熊熊燃燒，無論是逍遙大修，還是入門者，都不由自主的投入了這一場大火之中，成為了火的燃料。

沒有人能夠阻止這一切。

萬法門修士走上仙路，就是為了求道，求算學之道。除非殺了他們，否則，他們是不會停止的。

一股末世之感，莫名的蔓延開來。甚至有人不無悲觀的不表示，萬法門完了。

哀鴻之中，萬法門的算家們，卻在進行最後的交鋒。

基派部分修士們對不可達基數的研究，也逐漸深入。

而不可達基數，確實與可構造類不可共存。

雪國派的反擊也同樣犀利。

現在，證明可構造類逆論的安全性，成為必須。

一個理論是否安全，和它是否可證，沒有必然的關係。

一個理論的逆命題是否安全，和它本身，同樣沒有必然的關係。

或許可構造類本身是安全的。

但是，它的逆命題，同樣也有可能是安全的。

圍剿之勢。

對此，已經前往徵天司前線的海霆真人卻顯得異常風輕雲淡。

這一場廝殺，是他得到了進步，也對他的道心造成了動搖。他對離宗連宗的分歧，都已經逐漸看淡。

更重要的是……他立於不敗之地。

就算可構造類逆命題安全，也不代表可以證偽可構造類本身。

可構造類，是不可證的。

他或許不會贏，但也不可能敗。

這樣“放棄”一般的示弱，當然不可能讓其他人停下。

海霆可以不敗，但他們卻是要“贏”。

於是，連宗的修士們，便提出了新的方向。

所有的矛盾，都是集中在“內模型”與“可構造類”上的。

可構造性公理在天理體系【ZF公理體系】內不可證否。也就是說，天理體系內，不存在反例可證見不可構造集合。如果假設，在天理體系內，有一個可構造類的擴張——比如說，存在一個不可構造的集合，這個假設就等於是可構造性公理在天理體系下的假設。這樣下去，天理體系本身就要不一致了。

但是，他們可以假設出一個超窮實體，作為內模型的擴張，然後思考應對這個擴張，構造一個不可構造集合。

只可惜的是，這不是連宗修士能夠完成的夥計。

連宗算理，是不包含“無窮”與“超窮”的。

他們將問題拋給了離宗修士。

但是，這個算題，卻包含了離宗修士所無法理解的思路。

於是，便是持續了許久的離宗內戰。

但是……

蘇君宇卻喃喃：“媽呀，真的，感謝算君。”

在這一瞬間，只有看過算君手稿、得過海霆、梵巴赫指點的他意識到了這一點。

按照直覺派的思路，他們並不需要考量天理體系與其自身加上集合論語句的系統的超窮總體是否一致。

他們只需要在天理體系內斬出兩個有窮集合，分別對應天理體系自身，與天理體系、集合論語句的疊加。

然後，不斷給兩個有窮集合新增兩個理論更加詳細的“元素”，直到理論翻譯函式在兩個集合之間的關係之中現象出來，讓不一致的證明呼叫翻譯函式。

這簡直就像是用某種暴力的途徑，不斷擴張算學，讓算學自己證明自己。

這就是，力迫法。

完成論文的這一瞬，蘇君宇氣勢如虹，再次晉升。

第一百零八章　進步

儘管宇歷四年才剛剛開始，但絕大多數人都堅信，力迫法就是這一年裡最有價值的發現了。