第一百四十二章 隊伍藥丸！（上）（2/2）

這下子，咱們歌庭怕是藥丸啊！

在萬仙幻境之中，任何小動作都瞞不過馮落衣。馮落衣感覺到了王崎的神態，苦笑：「怎麼樣？」

「很強，我完全不知道應該怎麼形容，但是這篇論文完全可以作為一個道標，指引神州算學的發展，特別是應用算學的發展。」

「無論是理論層面還是應用層面都很強。我們原以為有了你的一階完備律，在算學邏輯上能夠領先一步，沒想到我們既高看了自己，也小看了算君。」馮落衣搖頭：「不愧是曾以一人之力壓服整個萬法門的絕世強者。」

他是萬法門較年輕的逍遙。他踏入修行路的時候，正是希柏澈崛起、萬法門兩代強者交割的時候。而他成道逍遙的時間也是仙盟建立前後，算君沒過多久就離開神州鎮守別處。因此，馮落衣並沒有直面那位暴君的機會。

「高看了自己？」王崎揣著明白裝糊塗：「完備性的證明有差錯？」

在哥德爾之前，根本就沒人懷疑語義和語法之間存在矛盾，有些概念靠人類的語言根本無法定義，有些問題自無法用現有的邏輯來理解。用腳趾想也應該想得到，算主幾乎不可能得到他夢寐以求的結果。

但是，又是科學發展就是這樣。算主在那兒撞南牆，不可能證明普遍、廣泛的完備性。但是，這一過程當中他們勢必會驗證一些走不通的路，提出一些無心插柳得出的理論。這些成果會成為以後數學發展的基礎。如果可以的話，王崎甚至希望將歌庭派的眾多逍遙引導到地球布爾巴基學派的路子上，讓無數逍遙來改造神州數學，使之接近王崎更熟悉同時自身也更先進的地球數學。

馮落衣嘆息：「希門主正在抱怨呢，他好像已經隱約看到了目的地，但是總有一堵不可視的牆阻隔著他，讓他覺得自己像是在原地打轉……」

突然，馮落衣變了臉色，直勾勾的看著王崎：「王崎，希門主托我問你一個問題，你要老實回答我。」

王崎不明所以，暗暗尋思是哪個重要的問題。

只聽得馮落衣問道：「你當初已經在有限的框架下完美證明了一階邏輯的完備，為何又突然違背有限主義的框架，用超限的方法去做下一步的研究？」

王崎語塞：「這個……靈光一閃而已……」

「你當初就預料到這種進退維谷的狀況了嗎？還是說，你藏了什麼發現？」