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

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

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

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

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

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

這是他們最後的希望了。

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

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

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

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

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

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

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

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

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

Loading...

未載入完，嘗試【重新整理】or【關閉小說模式】or【關閉廣告遮蔽】。

嘗試更換【Firefox瀏覽器】or【Chrome谷歌瀏覽器】開啟多多收藏！

移動流量偶爾打不開，可以切換電信、聯通、Wifi。

收藏網址：www.peakbooks.cc

(＞人＜；)