是因為如此，連宗分裂，也幾乎不可逆轉了。

或許，這才是梵巴赫急著挑動歌庭派與馮落衣的關係吧？

何外爾如此悲哀的想到。

但是，歌庭派一定會咬下這塊餌的。

梵巴赫當然不會掩飾自己的心思。但是，良基集合推導而出的“全集”，與歌庭派的道路，也確實存在巨大矛盾。

這是堂堂正正的陽謀。

“理論分歧而私交不斷”，差不多就是最理想的結果了。何外爾覺得，自己至少應該保證這個。

但實際上，算主都沒有做到這一點。

太一天尊在歌庭求學的時候，也曾勸算主不要對某些連宗算家的攻擊超出學術範圍。

算主能夠和何外爾保持師徒情誼，反而顯得很可貴了。

“老師啊，我接下來，應該怎麼辦呢？”他如此嘆息。

不過，在短時間內，何外爾的擔憂，並沒有變成現實。

歌庭派、馮落衣圖靈，以及成功離開陽神閣的蘇君宇，著實合作了一陣子。

這種合作，甚至一直持續到宇歷三年的秋季。

在這半年之中，更多的理論被髮掘了出來。

來自於基派的、歌庭派的，甚至有一部分是海霆真人新連宗的貢獻，逐漸匯入了一個更大的途徑之中。

——或許，應該說“更小”？

馮落衣與歌庭派的“翻譯函式”，在這半年之中，釋放了更大的光彩。

由於離宗算理和連宗算理，在某一層面上被反覆翻譯下來，所以，人們發現，有一些算理，對於連宗和離宗來說，都是必然成立的。

數學公理雖然不同，但是依舊有很多同樣的數學實體，比如加法減法乘法。

如果某種數學實體的公式有這種性質，就叫做——絕對性。

第一百零五章　最後一幕

宇歷三年的時候，離宗和連宗很罕見的達成了全新的共識。

一個公式，在離宗算理和連宗算理之中，具備完全一致的內蘊的話，那麼，就可以說，這個公式，具備“絕對性”。

這種“絕對性”，毫無疑問，給予了離宗某種“希望”。

對於他們來說，這簡直就是不周之算的滅世一擊下，所能找到的最後救贖與唯一福音。

“絕對性”的存在，或許就是在表明，數學實體是在不同的數學公理系統裡面普遍存在的。

而如果是這樣的話，這個數學實體本身，或許就具有“實際完備”的性質。

這是他們最後的希望了。

或許他們需要尋找到一條新的道路，來探索出這個數學實體的性質。

在這一點上，馮落衣與歌庭派的目的是出奇的一致。

他們甚至暫且放下了些許分歧，共同探索這一領域。

而在這一過程之中，海霆真人也終於嶄露頭角。

自從連宗證明直覺主義邏輯不比歌庭派的經典邏輯安全之後，他就好像變了個人一樣，沉默而寡言。

而在黎京首創之中，他自閉的傾向就更嚴重了。

但是，這並不妨礙他作為一個算學家，繼續發光發熱。

他從蘇君宇的連續統研究之中受到啟發，引入了馮落衣在無限公理中研究良基集合的成果，創立了全新的流派——構造主義。

在某個理論內，以有窮個符號，所定義之一切實體，直到反射序列的高度遍歷“所有序數的序數”，便是一個可構造類。

而可構造公理，便是宣告，良基序列下合法集合所構成的總體，與“可構造性集合”，是相等的。

他繼承了算君“算學是被構造產物”的思想，卻容納了算君所厭惡的集合論，並且在馮落衣良基集合的基礎上完成了初步的安全性證明。

定義即構造，構造即證明，證明即路秩。

也正是因為如此，他在算器理論也小有突破，進入千機閣的視野之中。

歌庭派對此有些驚恐。

馮落衣與圖靈的存在【或許還可以算上王崎】，使得千機閣這個萬法門分支門派，一直都是離宗的後花園。

也曾有連宗修士走入過那裡，甚至有算君這種連宗總頭目開發出了平行的算器理論。

但是，海霆真人是正式走入其中了。

他甚至有向離宗示好的傾向。海霆真人甚至證明，直覺主義和其他邏輯流派的關鍵差異，就在於“使用有窮個符號，是否就能操縱無窮乃至超窮的