當王崎拿起筆的時候，整個世界都安靜了下來。

    剛開始的時候，他感到了些微的暢快。在他學習數學的年代裏，地球的數學，尤其是運算這一塊已經開始深度使用符號邏輯語言了——這正是算君所厭惡的部分。這也是他對算主這一邊更有好感的原因。

    希爾伯特死後，數學已經發生了翻天覆地的變化，稱得上「革命」的變革都不止一次。

    一加一等於二沒有改變，但是詮釋這個「最初等式」的基礎卻幾度變更。或許對於普通人來說，這沒有任何意義。他們一輩子需要用到的數學也就是三位數的加減法、二位數的乘除法，以及不超過三維的歐式幾何。

    但是在更基礎的以及更高深的領域裏，這決定着很多東西。

    王崎在一步步將神州的算學引導到自己更熟悉的領域裏。

    只是，這般暢快卻很快就被越來越明顯的艱深感淹沒了。

    體驗過10M寬帶的人肯定不會喜歡2M的小水管。二十一世紀的數學和二十世紀初的數學相比多少有這樣的味道。王崎在神州學習了許多年，差不多也該習慣2M小水管了。但是，當他下載大文件的時候，他還是會忍不住懷念10M的網速。

    算術系統的相容性，就是這麼個「大文件」。站在哥德爾等諸多巨人的肩膀上，王崎可以很快的理解這個問題，但要他自己不用那些大能開發的數學工具，自己一步一個腳印證出來……

    「實在是太困難了。」王崎嘆了口氣。

    這是一座大山，千仞孤峰，他曾經依靠別人的力量站立在這裏，然後很快就向更高的地方移動過去。但現在，他需要自己攀爬一遍，而且還不許用前人留下的全套登山工具。

    接下來就是一場孤者的獨舞。

    由於看不到進度，他開始有些煩悶。他覺得，有個人來和自己討論一下說不定會好很多。

    「難怪學神們總是喜歡湊在一起工作，就連愛因斯坦也會規規矩矩上班」他這麼想着，忍不住懷念起陳由嘉來。

    雖然這個幼女說話非常討厭，但很聰明，水平足夠，是個可談論的對象。

    不過不知為何，陳由嘉好像非常厭惡純碎數學，這種厭惡已經超過應用數學家該有的程度了。王崎清楚這一點，所以特地到陳由嘉看不到的地方做這件事。

    工作進行到後面的時候愈發艱難了，枯燥感滋生。王崎放下筆，開始有些後悔了。

    哥德爾完備性定理屬於推理過程簡單的工作，不完備定理更是簡單到不可思議。這是屬於那位大數學家智慧的輝煌，可一旦點破，其實不複雜。

    而王崎現在做的，卻是一個複雜的工作。

    他再次認識到自己的自大。同輩之中，無論是蘇君宇還是陳由嘉，在理論層面都弱他一籌。兩世的積累、地球更先進的數學加上修煉帶來的聰敏大腦造就了他的強大。

    但是，和歷史上最頂尖的人比起來，他還差了些。

    「浪了一波就被就被現實赤裸裸的打臉……」王崎自嘲的低語到，然後抱着腦袋在卓死傷小憩一會。

    他開始覺得自己的工作沒有什麼意義了。他很清楚，在被不完備定理擊垮之前，算主極度樂觀的思考方式是不會接受用超限歸納法繞過完備性、相容性的證明過程的。而算君……這玩意在算君眼裏根本就不是算學。

    他沒有自己說得那樣喜歡數學，他上輩子更傾向於應用數學，他還是個物理學家。

    但旋即，另外一股奇怪的感覺控制住了他，促使他接着幹下去。

    這是兩個巨人的角力中，螻蟻發出的吶喊嗎？一個中二少年以一己之身面對龐然大物的熱血情懷？

    亦或者，使命感？

    「這件事只有我能完成。」王崎這麼想着，心中鼓起了一股氣：「天將降大任於斯人也，這才到哪呢。」

    王崎有點明白了。他沒有自己嘴上說得那麼在乎數學，但是他也沒有自己心裏想的那樣不在乎。

    因為他是萬法門的弟子。

    在王崎曠工小半個月之後，辰風才在大街上再次見到自己實證部的成員。

    辰風吃驚的看着王崎，他感覺自己有些不認識眼前這個人了。王崎外表沒有什麼變化，最多也就是眼窩有點凹、黑眼圈有點重。

    但重點是他的精神