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

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

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

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

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

但何外爾偏偏是個例外。

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

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

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

這比看書還要便利一些。

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

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

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

Loading...

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

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

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

收藏網址：www.peakbooks.cc

(＞人＜；)