為這大爭之世打響第一槍的，是馮落衣。
儘管歌庭齋已經交託給了身為連宗修士的算主首徒何外爾手中，但是歌庭派依舊是離宗正統，依舊是算主嫡系。這一點，從來就不會因為何外爾或其他任何一個人的因素而簡單改變。
或許百年之後，歌庭齋終將變成另外一個樣子，但是何外爾一個人，終歸是無法扭轉這個石頭的。
歌庭派最核心的修士，已經殺紅了眼，處心積慮的將要將連宗算理同被不周之算所擊潰的那部分離宗算理劃上等號，將他們也納入不周之算的攻擊範圍之中。
但最先完成成果的，卻還是馮落衣這位有著「非人」之稱的天才人物。
應當說，馮落衣找到了全新的思路。
他們宣稱，集合論之前的思路都有問題。
不應該從「全部」，而是應該從「無」之中入手。
所有的「集合」，都必須從「空集」開始，進行構建。
或者說，只有從空集開始構建的集合才被承認為合法集合。
除此之外的集合，都是有問題的，都是被不周之算抽掉了根基的空中閣樓。
無論是有窮集還是無窮集，都必須從「空集」開始。
空集對應0，{}對應1，{，{}}就對應2。如果一切集合，包括無窮集合都有類似的良序，那麼，那麼就可以實施超越無限的歸納就和普通的數學歸納一樣。
然後，離宗至高成就的「天理體系」【zf公理體系】，其全部公理，都能夠在良基集合之中實現。
這就是馮落衣的命題。
這位天才，先後用兩篇論文，完成了這一偉大的論證。
任何證明構造都必須是有窮長度的，關於矛盾的證明也不例外。而無窮公理自然數無窮集合存在公理，之運用到了後繼運算和空集運算。這兩個運算，在連宗的算理當中，均有對應。因而，這兩個算理，在連宗算理和離宗算理之間，是絕對的。換言之，離宗算理和連宗算理，其實存在著相當程度上的一致內蘊。
這就是兩個算理的「絕對性」。
因此，如果無窮公理有矛盾，那麼這個矛盾，也會通過一個「有窮」的翻譯過程，出現在算理之中。
無窮功能公理，是安全的。
這篇論文一出，便是連宗修士的大面積吐血。
誰都知道，連宗，特別是近代連宗代表的少黎派，就是否認「無窮」與「排中律」的。算君認為，物質的世界不存在無窮的對象，算學的世界同樣不應該存在無窮的對象。
這便是撼動了連宗的根基了。
無數連宗算家抓耳撓腮，恨不能立刻就寫出論文，反擊馮落衣。
但是，很快，馮落衣的第二篇論文，就讓所有的爭論都偃旗息鼓。
「如果取無窮公理的否定形式作為公理，有窮良序之中的矛盾也會更加方便的體現在其他公理之上。」
「因此，某種意義上來講，無窮公理不可證明，也不可證否。」
這一下，便如同晴天霹靂，鎮得所有連宗算家都說不出話來了。
一般來說，「可證偽性」，便是今法仙道的根基所在。不具備可證偽性的東西，沒有討論的價值。
但是，算學的地位，卻稍稍特殊一些。
就連那些算學家自己都說不清楚，自己的工作，到底是「發現」還是「發明」。
在這一點上，算君和王崎絕對持有完全相反的看法。
當然，在美神那種層次看來，這種爭持，完全就是笑話。
王崎在與美神遭遇之後，便也有了這種傾向。
他甚至都在形式語言學的序言之中表示，這種爭論，純粹就是自然語言混沌不堪，非得分出「發現」和「發明」兩個完全不同的概念。
但不管怎麼說，在算學領域，一個不可證明也不可證偽的理論，是允許存在的。
但它就好像是神學一樣，在自己的邏輯里自成一體。
就算想要將之摧毀，也很難下手。
對於普通人來說，這就是一個「不知道到底有什麼」的未知區
第一百零一章 爆發【第二更】
