「你有沒有考慮過具備無限條公理的公理系統？」圖靈問道：「每一次加入一條新的公理，新的公理系統就比原有的公理系統更加強大。每一個公理系統都在解釋前一個公理系統。樣子的話，每一個系統都是一直無矛盾的。這樣，我們重複無數次，添加可數而無窮的公理。這樣的話，我們無論使用了多少條公理，總有更強大的一條公理證明前面的公理一致無矛盾，那麼，這個系統便稱得上是無懈可擊吧？」
而神州各地當中，更多的萬法門低階弟子在為王崎暗中祈禱、鼓勁。他們剛剛踏入算學的領域，還沒有前輩的那種堅持，也沒有受到太多的波及。他們看王崎，並沒有前輩那種厭惡，反而帶著一種「大丈夫當如是」的豪氣。
王崎重新回到講壇的邊緣，盤膝而坐，閉目養神。
「希望他能夠在蒼生國手和機老兩位逍遙修士的幫助下度過接下來的難關吧？」辰風不確定地說道。
閔可夫哼了哼，不屑的在私聊當中低於：「雙簧而已……他們兩個絕對是對好了的。圖靈就是一個托！」
他深知王崎的性子。想讓王崎放棄自己的想法，幾乎是不可能的。他必然會面對接下來無數逍遙修士的詰難。
她勉強能夠聽懂王崎在講什麼——可是，這玩意有什麼意義嗎？
更多與他相熟的人，只是在擔心。
「怎麼了？理論有突破是好事嘛！」艾輕蘭不滿了：「小風你不是這種見不得朋友得好處的人吧？」
「是，我承認，你的論證過程確實很強m.hetubｏｏk•ｃom.ｃｏｍ。但是，我看不到它實際的意義。」
某個神秘的秘境之內，太一天尊也為這個年輕人捏了一把汗。
布爾巴基學派的研究，自純數學而始，最終又成就了新世紀物理學研究的堅實基礎。
閔可夫冷笑：「那麼，你的證明真的如你所說，意義重大嗎？」
這個解答顯然不能夠讓所有反對者滿意。一個又一個巔頂算家站了起來，對著王崎發出駁斥。這些駁斥當中，有些正正切中要害，有些不痛不癢，王崎都一一給予回擊。
而這個時候，辰風放下自己的算器，怒道：「這個瘋子……」
更不用說不完備、不可判定在理論上的意義。
圖靈真人，分明是用更加系統化的方式、從更加深入的角度，將他們察覺出的種種不足給問了出去。
這便是史上獨一無二的，絕倫的雙簧！
他已經改寫了算學的框架。只要等下渡過難關，他就會成為神州頂尖的算家。無論是聲威還是其他，都將遠遠超過過去的自己。
毛梓淼的心微微一揪：「那……那怎麼辦？」
有人不解：「那個……王師兄的理論難道不對嗎？」
何外爾苦笑：「可就算是托……那也是非同凡響的。至少，我是問不出口了。」
算君龐家萊看著問答中的兩人，搖搖頭，只是冷笑：「這聲屁放得響，不算太臭。」
辰風是老好人，但不是傻子。他深深嘆息，道：「當年歌庭派前代領袖，雲端君柯蘭蔭為何道心盡喪？便是與算君論道啊……就和*圖*書算那些前輩不打算採取這樣的極端手段，那麼多算家，想要讓他身敗名裂，其實是非常簡單的。」
現在問問題，十有八九就是撞到別人的刀刃上，自取其辱！
現在，或許也只有陳由嘉一人堅信王崎了吧。
圖靈真人站起來，對著王崎問道：「王道友，我想同你討論一下函數的極限……」
有很多數學家，都不會對這一個不包含實際數學內容的玩意投以關注。
圖靈一開口，就讓其他人愣住了。
為什麼他問出的問題，比絕大多數人問出的問題都要尖銳？
在王崎解答了這個問題之後，圖靈真人立刻問出第二個問題來。
同時惹下兩個主流學派，相當於同時激怒萬法門一半以上的人。這能不瘋嗎？
縱然所有人都看得出，這二人在唱雙簧，又怎麼樣？
艾輕蘭一巴掌糊自己臉上：「這小子確實瘋了……不不，不如說發瘋才是他的風格……這屬於正常發揮……正常發揮……」
王崎只能這麼說。在力迫法出現之前，這種非議都會存在的。
「好處……王崎這傢伙很快就要倒大霉了。」辰風有些惱火：「剛才就因為聽不懂，所以我專門去問了問由嘉……這個小子，剛才的那一通講，根本就是裡外不是人，將離宗連宗兩邊都得罪慘了。」
這個……這位逍遙，究竟是站在哪邊的？
——實際上，按照哥德爾的想法，人類在相當長的一段時間里都不會遇到這種陳述。它必然存在於算學的未知部分，隱藏在重重迷霧之中。
就和_圖_書算拋開理論層面的意義，光是這個收穫就不會小。
也只有這位浸淫算器領域數百年的強大逍遙，才能在這片幻境之中以一壓多。縱有人不滿，也只能在這個時候選擇乖乖聽好。
「離宗連宗……」艾輕蘭瞪大美眸，按著胸口：「那個……讓我緩一緩，想一想。如果我記得不錯，離宗和連宗的領袖，分別是算主和算君吧？就是……這位和這位吧？」
王崎既然知曉這個軟肋的存在，又怎麼會不做準備？他早就準備好了對於這個問題的回答，從善如流：「當中古的數家研究圓錐曲線的時候，他們不會知道自己的理論就是《大道之算理》的根基之一。我們也不會知道，這個不完備的證明過程在未來究竟會怎麼樣——我們什麼時候才能發現一個包含實際算理的不可判定陳述呢？我不知道，也不可能知道。這個問題，只能付之於時間。讓時間去解答。」
但是，並被所有人都能向他一樣，看到這一步。
辰風點點頭：「就是坐在王崎左右兩邊的那兩位老人家，巔頂逍遙……他們身後，分別就是他們的門人，加起來幾十個逍遙修士。」
「我也這麼認為。可是，很遺憾，這種擁有無限公理的公理系統毫無意義。」王崎道：「我們必須先熟知一個公理系統當中所有的公理，才能根據這個公理系統做出判斷。若是一個公理系統有無窮的公理，我們便不可能知曉它能夠陳述什麼、判斷什麼……」
另一邊，算主希柏澈自始至終一言未發。
看他和馮落衣坐在一ｗｗw.ｈeｔubｏｏｋ•ｃｏｍ.cｏm起，不應該是來幫助王崎的嗎？
王崎笑了笑：「最近我也有一些新的想法……」
兩個人的問答，越來越流利，也越來越暢快。漸漸的，周圍的異動小了下來。
而他在這個時候再推廣布爾巴基學派思想，就可以將這「隱性」的好處，轉化為「顯性」的好處。
以後，他就可以藉助神州算門的資源，來完善自己的修法。光是這一點，就已經值回票價了。
王崎和圖靈真人的問答，就是要在展示自己的理論是成體系的。
王崎搖頭：「沒有。」
但是，王崎並非是完全孤立無援。
這一下，就連能夠插嘴的人都很少了。
「我也說過，算學的不完備，並不在已知，而在未知。面對未知，我們永遠不會知道會遇到什麼。」
「我只是推斷出有這種陳述的存在，並不等於說我知道這個陳述。」王崎道：「這就好比說，有人死了，判斷是他殺還是自殺不難，可判斷誰是兇手就要難很多。」
講道的主題，被定死在不完備、不可判定。這個是不能變的。他們現在在做的，就是在問答環節展示自己的水準，堵住悠悠之口。
艾輕蘭眼中也透著迷惘：「不太清楚……雖然不明白，但還是覺得好厲害……」
而在這種前提之下，王崎還能夠對答如流，無數有不完備衍生出的定理、對不完備證明的補充，還有新的算器技術，都在圖靈真人和王崎的一問一答當中展現了出來。
哥德爾終其一生，都沒有找到一個包含了實際數學內容的不可證明陳述。這也是不完備定和圖書理從者不多的原因。
突然，有一些算家發現自己的話語問不出口了——他們在這萬仙幻境當中開不了口了！這時，只見圖靈真人站起來，對著四方拱拱手，溫和笑道：「諸位，可允許我去問幾個問題？」
這是隱性的好處。
歌庭派陣中，算主之摯友、「真宇相」閔可夫便站了起來，沉聲問道：「你可找到了一個關於實際存在之算學的不可證明之陳述？」
地球數學界近百年也沒有遇到這種陳述。
算器理論的飛躍，就等於是王崎修法的飛躍。
萬法門中，薄笑風握緊了拳頭，薄筱雅則閉上眼睛，緊張得不敢去看。
說話的同時，她伸出手點了點幻影之中的虛像。
現在，他們只不過是不完備和不可判定的註腳。但是，總會有不凡之人發掘出其中的奧妙。
毛梓淼捂著腦袋，只覺得頭昏腦漲的：「喵……艾師姐，小崎他到底在講什麼啊……」
第二場講道完成之後，馮落衣閉上眼睛，深深太息，宣佈道：「現在，諸位同道便可以開始提問了。」
圖靈真人堂而皇之的將這一場問答，變成了他個人與王崎的討論。兩個人也是被激發出了靈感，討論逐漸脫離了預定的內容，開始向更深處發展。
理論計算機領域——計算機科學的數學基礎領域當中，最重要的遞歸論，圖靈機、拉姆達演算法，便在這一夜同時傳揚了整個神州。
只有她覺得，王崎就算被等下的攻訐淹沒，也不會損了他那一顆精進勇猛之心。
不愧是這一世最巔頂的算家，這麼快就找到了不完備證明的軟肋。