實體”。

但海霆真人的出現，對於基派來說，也不完全是壞事。

海霆真人崛起的同時，也提出了許多與離宗過去理論相對應的東西，使得歌庭派得以返照自身，發現許多過去未必能發現的東西。

他們發現，許多相同的數學結構在不同的公理系統之中廣泛存在。公理系統的選擇，隻影響可以證見的數學結構的多寡。

而對公理的選擇和分析，實際上就是判斷以哪些基礎原則作為算學的“起始點”與“基準”。

眾多的公設存在，不是出於對算學根基的評判而設立，而是萬法門修士們研究活動本身需要這些公設才設立的【比如加法的定義，減法的定義】。

這些更進一步的加強了離宗對“算學實體”的信心。

也就是在這個背景之下，蘇君宇透過海霆真人的思路，提出了名為“傳遞模型”的騷操作。

如果存在一個數學公理系統甲，其自身具有一致性，那麼就存在這個系統的模型。

將“系統甲是一致”的這個公理，加入原來的系統，就得到了“系統甲是一致的加入系統甲之後的系統”。然後，就有“系統甲是一致的加入系統甲之後的系統是一致的”。再將“系統甲是一致的加入系統甲之後的系統是一致的”，加入“系統甲是一致的加入系統甲之後的系統”……如此反覆，直到無窮。

那麼，系統甲的“一致性”，就會傳遞到“無窮”本身之上，成為一個“可數無窮”的性質。

這使得蘇君宇獲得了極大的提升，甚至幾乎升上了煉虛期。

現在的他，反而要像當初的王崎那樣，壓制自己的修為，來調整自身功體。

而在傳遞模型的思想之下，“構造性模型”再一次被神話了。

可構造類的運算，對於任何算學公理的傳遞模型而言，都是“絕對”的。

非常罕見的事情發生了。

連宗和離宗的共同努力之下，一個在離宗和連宗之內都成立的算學成果，被確立了。

於是，在這個時候，海霆真人“連宗叛徒”的罵名，甚至都超過了陳由嘉、馮落衣、王崎收到的“離宗叛徒”稱呼的總和。

就連海霆真人本人，都不得不再次越過仙路，選擇暫時避禍。

但是，他自己不在乎這一些了。

他再次立於不敗之地了。

和馮落衣所證明的無窮公理一樣，良基集合下，全集等於可構造類的命題，不可證否。

他已立於不敗之地。

構造派，已經立於不敗之地。

哪怕算君可以一巴掌將他拍死，也無法更改這個結果。

對於這一點，馮落衣卻開心不起來。

他嘆息：“我最早答應歌庭派的時候，只是想著，要為無窮公理和排中律正名，為離宗正名，也算是抵消……王崎那不周之算帶來的災難性後果。我真的沒想到，事情會變成這個樣子。”

萬法門完全瘋了。

離宗和連宗，都已經顯露出了“不顧一切”的傾向。他們已經不在意自己未來會怎麼樣，就是想要傾盡全力，將對手按死在這一灘淤泥之中——哪怕他們自己同樣深陷泥沼。

不僅是離宗和連宗之間這樣，離宗對離宗，連宗對連宗，一樣下手不容情面。

海霆真人就是一個範例。他明明頗有一些響應者，但是卻只能退出這算君的勢力範圍。

而馮落衣也感覺到歌庭派的些許惡意了。

反倒是蘇君宇，還在響應歌庭。

但馮落衣知道，那個姓梵的，甚至都還在試圖“指點”蘇君宇。

他已經檢測到兩三封這樣帶有惡意的“指點”了。

但是，那個分球的混賬，卻從來都只是用陽謀。

恐怕他是看出來了什麼吧？

就算陳由嘉和蘇君宇都顯露出了與王崎不同的傾向，但是，他們長期與王崎交流，對算學的根本看法，總歸是與王崎一致的。

他們存在著完全一致的“終極目標”，憧憬著一樣的圖景。

算學是自有自在的，不會以人的意志為轉移。

所以，梵巴赫知道的事情，不會由蘇君宇或陳由嘉的意志所改變。

這可真是恐怖啊。

圖靈真人也是搖頭：“在這種情況下……那個向前看的，還被揹負著不詳的預言……”

離宗和連宗，歌庭和少黎，雙方算是彼此傾軋。儘管彼此之間都有成果，但也都拆了