算主領導的歌庭和算君領導的黎派，爭鋒的焦點就在於算理邏輯。這個領域是算理最基礎的部分。而一個算家對這個領域的認知，就決定了他對數學的整體把握。
辰風算學和王崎比只能說爛，但是這一點他還是知道的。
王崎笑道：「馮前輩也是這麼吩咐的啊，照做沒壞處。」
馮落衣、希柏澈都仍未王崎在算理邏輯上非常有天分，在一階邏輯的道路上接着走下去，遲早能夠到達希柏澈理想的境界。
但是王崎卻是知道的，這條路不是不能走，但下一步的結果去只會同希柏澈的預期背道而馳。
哥德爾不完備定理，摧毀數學崇高之美，將數學趕下神壇的可怕定理。
在地球的歷史中，哥德爾不完備定理證明希爾伯特第二問是個無解的題目，使希爾伯特計劃破產。若是在神州拋出來，怕是會徹底動搖歌庭派的威信吧。
不管自己怎麼說，在別人眼裏自己都被打上「歌庭派」的標籤了，所以做理論的時候還是考慮一下這方面比較好。
順便，自己也得防備一下別人順着自己的思路將不完備定理搞出來。
雖然對於哥德爾這種絕世天才來說，完備定理到不完備定理只有一年的時間，但對於普通數學家來說，哥德爾一年走完的路是絕對的天塹。
更別說哥德爾本人得出完備定理，都是靠了靈光一閃的頓悟。
黎派修士和哥德爾理念不完全一致，對數學的理解有差別，因此思路、擅長的方法也不一樣。他們在王崎論文的基礎上順着哥德爾思路推出不完備定理的可能性不大，威脅比較大的現在看來只有算君一人。
真正要警惕的，還是「自己人」。
熟悉後續歷史的王崎知道。希爾伯特計劃去程成果的希望不在於完備性相容性可判定性，而在於算術系統的一致性。
哥德爾不完備性定理第二條，對於任意的數學系統，如果其中包含了算術系統的話，那麼我們不能在這個系統內部證明它的一致性。這就是希爾伯特第二問題答案的一部分。
使用不在算術系統之內的超限歸納法證明算術系統的一致性，就正好繞過了不完備性定理劃出的，跨不過的鐵壁。
「所以下一步是從集合論當中搞出超限歸納法再代入對算術系統的解釋，把論戰的關鍵導向算術系統的一致性。」
這是王崎目前的計劃。
辰風皺眉：「你知不知道摻和算君和算主的論戰意味着什麼？不要以為你身在神京就不會沾到火星了。」
「我只會拋出幾篇論文啊，一般不會直接回應對方詰難的。」王崎笑道。
只要能夠把重點引導到算術系統的一致性就差不多了。
而且整理算術系統同樣是個大工程，自己沒那沒多時間去一一完成，這個只要是自己真實水平參與一部分就可以了。
辰風疑惑的看了王崎一眼，問道：「你好像對這場論戰有很重的執念啊……錯覺？」
王崎搖頭：「這可不是錯覺。」
我是真的很想摻和這一場論戰。
前世讀亨利·龐加萊的傳記，王崎就有一種很奇妙的感覺。
這個人，生不逢時。
數學家大多喜歡在物理學領域插一腳以顯示自己智商過剩，但是他的時代，正是經典物理發展到極致的時候，沒有多少東西供他玩樂了，等愛因斯坦引發新一輪革命的時候，他又已經垂垂老矣；他與戴維希爾伯特正好處於兩代，他漸漸老去的時代正是希爾伯特一步步升起的時代，等希爾伯特到了鼎盛時期，他已經因為衰老退出了數學的第一線。
亨利·龐加萊一生都沒有真正燃燒過。
但是在這個世界，他要面對的卻是一個綻放出全部光彩的絕世天才，算君龐家萊！
而與他同一陣營的，是算主希柏澈和蒼生國手馮落衣！是同一等級的數學大家！
任何一個有水平的數學家都會為這樣的論戰而激動。
而且，王崎自己也存了一點小小的心思。
「我或許還是不如五十歲左右、正處於人生頂峰的哥德爾……但是，我應該有哥德爾二十歲左右的水平吧？」
他並非是自己參與其中，而
