老東西罷了。一個不周之算，都沒有讓他們看清楚真相，那他們也就這樣了。”

實際上，馮落衣的論文，在離宗內部，也並非沒有反對之聲。

最開始也就是因為千機閣修士對陳由嘉的反對之聲，才引發了另一股反對之聲。

有一些離宗修士都覺得，馮落衣是瘋了。

他居然剔除掉了“迴圈”這個概念！

迴圈，是廣泛存在於自然界之中的概念。天地呼吸所代表的靈力迴圈，大氣環流、水的迴圈，都是一種迴圈。

所以，迴圈這種東西，理應存在於算學之中——實際上，它甚至都是萬法門功法的關鍵部分。

“迴圈是不能被剔除出邏輯的。”

那些離宗修士如此說道。

陳由嘉和馮落衣，都是走算主“兩條路”之中的“斷自指”的。

甚至兩人也在一定程度上相互啟發了。

只不過從根基上來說，馮落衣是最正統的離宗，而陳由嘉則從算君這裡接受了不少連宗的思路。

但他們卻是指向了同一個方向。

馮落衣從來就不在乎這點小事。他對圖靈真人說道：“歌庭派內部沒有反對之聲，就足夠了。接下來，就看他們的吧？”

圖靈真人不置可否。誰都知道，歌庭派此時此刻，已經是置之死地而後生了。

在不周之算的碾壓下，他們也顧不得許多了。

不過，圖靈真人並沒有想到，數日之後，歌庭派的背水一擊，居然來得如此猛烈。

實際上，也就是馮落衣將連宗、離宗算理頻繁轉化的手段，引起了他們的注意。

他們由此，提煉出了一個無名的邏輯層面的函式。

“雙重否定翻譯”。【地球上稱之為“哥德爾—根岑”翻譯】

“假設排中律有矛盾，則可以構造出這個假設的否定證明”。

“而排中律，則可以等價於雙重否定去除”。

這是兩條已經存在淺顯證明的論題。

而就在這個時候，歌庭派提出了一個更進一步的想法。

“如果從經典邏輯裡面的證明裡，新增雙重否定，那麼這個證明，是否可以等價於直覺主義的構造性證明？”

也就是說，如果將歌庭派算理之中屬於“排中律”的部分祛除，那麼，這東西，是否就等價於少黎派的構造性證明呢？

答案是，“是”。

它用反對排中律的連宗算理，確定了連宗反對的排中律，也是安全的。

和無窮公理一樣安全。

換言之……

連宗算理並不比離宗算理安全到哪裡去。

第一百零二章　幕間

這一日，蒼天痛哭。

——至少在連宗算家眼中是這樣的。畢竟，神州這麼大一個星球，總有塊地方在下雨。

甚至有傳聞說，遠在星海彼岸的算君，在知道了這個訊息之後，也忍不住吐了口血。

“‘我們已經得到了直覺派邏輯和歌庭派邏輯之間的理論翻譯函式。事實上，直覺派的邏輯，只是歌庭派邏輯的真子集。對於這種具備真子集關係的兩個算理，我們可以使用類似的手段，處理新加入了集合論公理’。”海霆真人大聲讀完這一段之後，不由得放聲大哭。

他敗了，一敗塗地。

這是無可想象的“失敗”。

即使是算君，也不否認集合論是算學的一部分。他只是將之當做算學最無意義的部分，而非是那種最核心的算理基礎。

這是算君與歌庭在理念上的矛盾。

算君和歌庭之間仇深似海，也不單是一個柯蘭蔭的問題。

也就是說，對於大多數連宗算家來