這一句話，讓王崎回到現實。他兩眼放光說了這么多，終於有實質性的東西了。

「那么……天靈嶺的禁令咱是不是……」

「唯獨這個不可能。」馮落衣一口回絕：「想都別想。」

王崎的臉立刻就垮了下來：「剛才還說支持啊……」

「這可不是什么小事。你現在只是得到了我萬法門的肯定，但是那一塊的事情，主要還是歸天靈嶺管的。」馮落衣咳了兩聲：「不過，你也不要擔心什么修法的問題。只要你能夠走完正常的程序，自然就會有人幫助你將修法推廣開去。仙盟也會讓開設專門的項目組進行研究。」

王崎長舒一口氣。數據化修法關乎到他的元神之路。維度這一條，王崎不能不關心。

而有由於數據化修法是王崎自開的道路，隨著這門修法的完善，各種實驗是免不了的。

馮落衣這句話，就相當於是解除了王崎的後顧之憂。

「好了，沒有什么事的話，你就可以離開了。」馮落衣這才發現，這次的會議早已經離題萬里。

他們是來討論如何保住算主性命的，不是來聽王崎的報告會的。

可是現在……算主的生命危險，好像反而更大了一點。

如果說王崎的不完備相當於對著算主灌了一劑鶴頂紅，那不可判定就是再追加兩斤砒霜。算主早些年提出的宏圖大業、他為之奮斗半生的理想，已經被王崎兩道算理破壞得干干凈凈。

想要這里，馮落衣覺得腦袋又疼了三分。

不過，誰讓他們都是算學家呢？面對那樣的至理，他們有不聽的道理嗎？

想到這里，他苦笑著追加了一句：「今天的事情，千萬要保密，不可對任何人提起。直到我許可了。明白嗎？」

王崎點點頭，一臉誠懇。

不知為什么，讓馮落衣反倒是更不放心了。

王崎並不知曉馮落衣現在的心思。他站起身，想著諸多前輩告了個罪，然後離開了這一處幻境。

幻境之中的討論聲依舊激烈。就連歌庭派最核心的逍遙、算主最鐵桿的支持者，都加入了討論之中。

沒有人願意落後。

注意到這一般變化後，馮落衣笑了笑。

話又說回來，王崎在這個時候拋出「不可判定」，也不是沒有好處的。至少，它徹底摧毀了那些歌庭派逍遙大修的堅持，粉碎了他們幾十年、幾百年依賴的心念，讓他們能夠正式這一次突破。

如果沒有「不可判定定理」的話，那些逍遙修士，說不定還會將「判定性證明」作為最後的稻草，死死抓住不放，甚至希望能夠從中找出和不完備相悖的東西，去反駁王崎。

當然，這也只是有可能罷了。馮落衣、圖靈真人這些最早擺脫過去知見障的天才，其實都隱隱判斷出判定性證明的結果了。如果王崎沒有在今天發表不可判定性定理的話，他們過一段時間也有機會做出來。

但是，這些逍遙修士的「掙扎」，只會讓馮落衣覺得麻煩，認為有很多東西不好施展，還有可能讓算主窺出端倪。

現在王崎臉這一點念想都不留給他們了，正好。

想到這里，馮落衣出聲，止住了諸多逍遙修士的討論，道：「諸位，停一下。我們還是回到我們的主題上來好了。」

除了算君之外，眾多逍遙修士都自動的停止的討論，本來，算君龐家萊並沒有理會馮落衣的意思。只不過和他討論的圖靈真人已經止住了話題，他一個人也說不起來，只好作罷。

馮落衣環視四周，嚴肅道：「現在，還有哪一位道友對不完備之理、不可判定之理有疑問的？」

就連艾克蠻這種思想上最徹底的離宗都搖了搖頭，道：「驚世奇才，我服了。」

「那么，諸位對於我之前的意見，再也沒有異議了吧？」

馮落衣原本的建議，就是通過他們這些歌庭派最核心的修士，去逐漸改變整個歌庭派的思想，制造一種思考的環境，將算主往某個方向上引導。

這個「思考的環境」，最好就是讓所有歌庭派的逍遙修士，順著王崎數年前劃下的道路前行，通過類似於超限歸納法之類的方法，證明一些公理系統的完備性，讓算主看到希望，讓他明白，即使算學具有不完備性，一直的公理體系當中，依舊存在完備的。

這樣子，對他的沖擊更小。

原本，馮落衣還擔心那些歌庭派修士桀驁不馴，不肯接受這個思路。不過，王崎的第二篇論文，算是打消了這個可能性。

「在談完算主的事情之後，我們再來談一談仙盟的事情好了。」在商定了關於不完備、不可判定的事情之後，馮落衣語氣突然一轉：「諸位，第五十三個謫仙，被確認了。」(未 完待續 ~^~)

ps：第二更，求月票！