他嘆息：“你們卻還真是，不死心。”

“既然不周之算的封鎖有希望繞過，那麼過去的野心自然也會再次甦醒。”艾若澈說道。

因為算主的新成果，歌庭派對於元算之算的些許熱情，也被激發了出來。

“不周之算，真的有可能突破嗎？”何外爾苦笑：“老師也不過是指出方向……而且，這不周之算，也不是攔路之虎，而是抽薪之手啊！”

艾若澈稍稍猶豫了一下。比起離宗連宗，她對歌庭齋本身還是更在乎一些。何外爾這位師兄與她私交不錯，她也確實有心提醒這位師兄，要讓他做好準備。

但若是真的說出來的話，這位大師兄又是否會再生波瀾？

“他們倒是已經不在乎這個了。”艾若澈頓了一下，然後若無其事的說道：“他們不是想要報復王崎，而是想要對連宗下手。”

“最多突破不周之算，也就是讓離宗聲勢更旺一些吧？對連宗出手？”何外爾卻是沒想明白，他們到底是如何讓連宗難受的。

艾若澈輕輕搖了搖頭。

其實她說得稍微輕了一點。

歌庭派並不是打算將王崎打倒，讓算主的理想復甦。

他們是打算拉著連宗一起墜入深坑之中。

相對一致性，是一個非常惡毒的思路。

如果理論甲有矛盾，而且僅當理論乙有矛盾，就可以稱作甲與乙的“相對一致”。

作為相對一致的雙方，甲乙要麼都有自相矛盾之處，要麼都沒有。

而當甲取連宗“直覺主義”，乙取離宗“二階算術”的時候……

一個聯動就成立了。

這下子，歌庭派與少黎派便等若是綁在了一起。原本專門針對歌庭派的不周之算，就同時攻擊到了雙方。

“我不是要求生，而是要拉著你一起死”。

這便是歌庭派隱含的決意。

當然，這種事情，對“直覺主義”本身沒有深刻理解的話，是做不到的。

但是，歌庭派現在的這位齋主，卻是連宗，直覺派。

第七十九章　蜃樓訪談

艾若澈自己就是純粹算學的大家，所以她很清楚完成那個復仇一般的思路需要怎樣的條件。

不知道王崎自己有沒有這個意識……實際上，王崎自己過去的工作，就包含了那個“相對一致性”證明的一部分。他已經證明了“直覺與歸納一致有直覺一致”的命題。

剩下的一部分，他們甚至可以逆著王崎曾經的思路提出。

只不過，這一步多少需要對“直覺主義”本身有一定的理解。

由於雲中君柯蘭蔭的關係，形式主義算學代表的歌庭派，與直覺主義代表的少黎派，關係一直很緊張，歌庭派內部幾乎不存在連宗算家，更別說直覺主義的連宗。

但何外爾偏偏是個例外。

他真的相信直覺主義算學，哪怕他比誰都敬愛自己的老師，也是如此。他從來沒有悔改過這一點，也不介意直覺主義的發端，是歌庭派的仇敵，算君龐家萊。

對於何外爾來說，這就是“真理”。

而歌庭派成員，卻可以在日常討論之中，透過何外爾，瞭解到他們需要了解的。

這比看書還要便利一些。

而若是這一步完成，那麼萬法門說不得又要遭殃。

歌庭派的懷疑者與反對者，在這一證之後，就必須面對一個問題——若是他們打算懷疑集合論的可靠性，那就必須懷疑四則運算的可靠性。

對於少黎派的直覺主義者來說，則更恐怖。這意味著集合論的先天不足，同樣可以在直覺主義算術上得到體現。

沒錯，不只是歌庭派，不只是連宗，連離宗也無法擺脫不周之算。

如果還有算家堅稱直覺主義的算學是可靠的，那麼根據相對一致性，他們也必須得承認，集合論在已知範圍內是可靠的。

這對於離宗算家來說，就好像捏著鼻子吞大糞一樣難受。

“我不是要求生，而是要拉著你一起死”。

艾若澈偶爾甚至懷疑，何外爾之所以接下歌庭齋的鑰匙，是不是自己老師在為這一天做準備。

當然，這個懷疑著實毫無根據。大師兄與老師感情深厚，而交託歌庭齋的決定，也是在不周之算問世之前就做好的。算主早就決定，在完成元算之算後就退位。

可這種巧合……確實讓人心情壓抑。

最終，艾若澈卻是決定，