第一百零六章 聯合圍剿

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

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

或者說，他也只是有一些模糊的想法罷了。

內模型違反算家直觀感受的地方太過了。誠然，正如王崎所說，算學自有自在，不受人為意志的幹涉。但是，算家在無數的探索之中，摸索出的“對數字與圖形的感覺”，卻絕非毫無意義。

實際上，內模型裏，違反人直觀感受的東西，實在是太多了。

比如說，刪除循環。

這是絕大多數離宗修士都無法接受的事情。

循環這種東西，在自然界內實在是太常見了。

別的不說，所有的功法，都必須進行周天循環的。

沒有這個周天循環，所有的功法都不可能實現。

不周之算所指出的“自我指涉”與“無限循環”，確實是非常可怕的事情。但這卻只是直指人族大道根基的，而尚未蔓延到自然界中。

為了繞過不周之算，而刪除了循環，就是在違反正常的認知。

無法接受。

甚至連“可構造類就是全部集合”的想法，也是無法接受的。

蘇君宇對此甚至稍稍冷笑了一下——果然還是有連宗的臭味。

集合論的整體之中，只有“可構造集”？

這位是否太過樂觀了一點？

只可惜，在現有體系之下，這一點是不可被證偽的。

為此，他必須要找到其他的力量。

想到這裏，他看向了自己靈訊箱內躺著的那一封來函。

來自於連宗逍遙梵巴赫的信函。

梵巴赫。

這個名字，一度讓離宗修士膽寒。

算君是不屑於專門找人弱點攻擊的。他更喜歡完善自身的理論，讓對方無懈可擊。

畢竟，君王，總是處於“守勢”的。他們沒有多少需要攻伐的對象。

但梵巴赫這一類人會。

從這一封信函之中，他了解到了外面的現狀。

對於海霆真人的可構造類，連宗也是拒絕接受的。

可構造類與選擇公理搭上邊了。而選擇公理，正好會引發分球悖論。

連宗是一定要對選擇公理下手的。即使是最同情海霆真人的連宗修士，也想要限制選擇公理作用的範圍。

這全部都是實話。

梵巴赫沒有隱藏自己的意圖。

但與此同時，他也指出了另外一點。

在一個體系之中，引入的“無窮”越強，那麽可以證明的東西就越多。

嗯，這是一個很不“連宗”的說法。

但這就是從內模型的證明過程之中推測出來的。

也就是包括“不可達基數”在內的“大基數”。

大基數的好處，也有很多。

比如說，引入大基數可以直接證明任何可構造的實數集合不會引發分球悖論，並且不需要取消選擇函數。

比如說，引入大基數可以證明二階算術的完備性。

這是當年王崎在證明一階完備之後就停滯不前的道路。

但唯一的問題是……

“大基數”與構造性公理是相互矛盾的。

“對於貴學派來說，推翻可構造類是必然的。王崎所設想的那個，可以執行所有算學的假想實體，算學的根源，根本就不可能在離宗的天理體系之內實現……”

“但若是引入強不可達基數，扭曲天理體系，便是海闊天空……”

“是以，證明不可達基數譜系的安全性，便是證明基派幾輪的安全性……”

蘇君宇看著這一封信函，仿佛內裏有什麽魔力一樣。

“這算什麽？”蘇君宇最終也只是嘆息：“借助離宗的手，來清除連宗的異己嗎？”

——不，離宗和連宗的界限，在這一瞬間，也模糊了吧？

蘇君宇這樣想著。

或許“異端比異教徒更可恨”，並不僅僅適用於神道學領域。

對於連宗來說，引入天理體系，引入選擇公理，擾亂連宗完美幾何宇宙圖景的海霆，比大多數連宗修士都要可恨許多倍。

離宗又何嘗不是呢？

歌庭派和蒼生國手、機老的分歧，王崎和馮落衣的分歧……

——不不不……

蘇君宇瞬間甩掉了這樣的想法。

至少王崎還沒有做出選擇哩。

蘇君宇這樣嘆息。

果然是一個爛攤子。

早在數日之前，蘇君宇就已經將這封信的部分內容轉給了王崎。

他現在還在等待王崎的回復與指點。

“不過，說是這樣說，但是，有些事情，可能早就有答案了吧——畢竟算學自有自在。”蘇君宇躺下，自嘲地說道。

這一兩年，基派就是在專心編寫《原算》，構建自己的體系。對於這一場論戰，就只是無視，或者裝死。

但這一次被人點中根腳之後呢？

哪怕是為了基派算學，他也會研究不可達基數。