「這位是伊蕾亞‧亨莉葉塔，莫斯科大學學生，是我的Sweetheart。」
盧格安此言一出，眾人看向伊蕾亞的眼神頓時變得曖昧起來，紛紛露出意味深長的微笑。有好事者，甚至吹起了口哨。
看熱鬧嘛，人類四大本源之一。
而站在盧格安身旁的伊蕾亞，臉色瞬間一黑，沒好氣地橫了盧格安一眼。
她敢肯定，盧格安這絕對不是什麼愛的宣言。這個惡趣味的男人單純就是為了報復她，想看她熱鬧罷了！
盧格安轉頭對伊蕾亞眨眨眼楮，眼神中滿是笑意，完全無視了伊蕾亞殺意騰騰的視線，用理所當然的語氣吩咐道︰「Sweetheart，把資料分給各位老師吧。」
如果視線能殺人，恐怕盧格安現在已經被伊蕾亞碎尸萬端了。
伊蕾亞深吸一口氣，強行平復下情緒，很快便找回了往日鎮定的狀態。
只見伊蕾亞眨眨眼楮，對盧格安嫵媚一笑︰「當然可以了，darling~~~」
伊蕾亞這番話的語氣極盡溫柔，完全沒有往日里冰山的樣子。
尤其是最後一句「darling」，語調百轉千回，噬髓入骨，讓盧格安忍不住打了個寒戰，胳膊上直冒雞皮疙瘩。
女孩「溫婉如水」地沖盧格安微微一笑，隨後便抱著那沓資料款款而去。
看著女孩窈窕婀娜的背影，盧格安搖頭失笑。
這才是伊蕾亞啊……不肯吃虧，瑕疵必報。
不過也正因為如此，伊蕾亞之前緊張的情緒也隨之蕩然無存，這才是盧格安的目的。
很快，每位教授手里都多出了一本厚厚的論文。
希爾伯特在接到這本多達173頁的論文時，表情先是有些詫異，但在他掃了一眼論文的標題後，又變成了深深的皺眉。
一點淡淡的不詳感頓時出現在希爾伯特心頭。
就在伊蕾亞給教授們發&論文的時候，盧格安也沒閑著，他轉身在黑板上寫下了他今天的主題，也是論文的標題。
《On formally undecidablepropositions of Principia Mathematica and related systems》
（譯︰關于數學原理及相關系統的形式不可判定命題。）
等到伊蕾亞重新回到講台，盧格安沖她點頭笑笑。
接著，盧格安闔上眼楮，深吸一口氣。
再次睜開眼時，只見盧格安那招牌式的笑容已然消失，一股學術權威的威嚴氣質由內而外緩緩散發出來！
擁有這種氣質的人，無不是對自己所學極有自信，並有著堅定信仰的人！
而盧格安身旁的伊蕾亞，無疑對這個細微的變化感受最為清晰。
她看著身旁那個好像換了個人一樣的德國青年，內心微微震動。
那一瞬間，盧格安身上那似曾相識的氣質，甚至一度讓她想起了自己的老師——列夫‧達維多維奇‧朗道！
這一刻，教室里莫名多出一股壓抑的空氣，仿佛台上站的是一位幾十年的老教授一般。
有些教授驚訝的對視一眼，心中對盧格安的評價，默默調高了幾個檔次。
盧格安環顧一圈教室，清了清嗓子。
「我相信各位教授能聚集在這里，無不是因為相信證明論計劃，相信它一定會成功，並帶領數學界進入全新的世界。」
听到這，不少教授都是點點頭，表示對盧格安這番話的認同。
雖然他們平日里吵得不可開交，但歸根結底，他們最終的目標都是一樣的︰即完美地構建出證明論計劃！
看著台下深以為然的諸位教授，盧格安面無表情地繼續道︰「證明論計劃的目的無疑是偉大的。把所有的數學理論全都用一種形式語言來描述，以後也不用費腦子證明了，直接扔給機器窮舉，一噸噸的數學定理就造出來了。」
說到這，盧格安頓了頓，嘆了口氣。
「但是我很遺憾地告訴大家，證明論計劃是絕對不可能完成的！」
盧格安擲地有聲的一句話，讓本就安靜的教室里空氣瞬間變得極為壓抑！
所有教授都沉著個臉，眼神不善地看著盧格安。
從他們的表情可以看出，他們對于台上這個信口雌黃的小子非常不滿！
另一邊，站在盧格安身旁的伊蕾亞，頗為頭疼地按著太陽穴，無奈地搖頭嘆息。
不是告訴他說話要委婉一點了嗎？
說話這麼直，在她老家可是要被一群壯漢圍起來揍的！
還是說，這就是德意志最年輕物理學碩士的底氣？
台上，毫無自覺的盧格安雲淡風輕地站在那里，絲毫沒有被教授們殺人般的視線所影響。
「海因里希，解釋一下。」希爾伯特沉著臉，聲音低沉地說道。
「可以。」盧格安點點頭，不急不緩地說道︰「因為我只有半個小時時間，所以我簡短點說……」
「夠了，海因里希。」希爾伯特黑著臉，沒好氣地瞪著盧格安︰「忘掉那個該死的半小時吧！把你的想法說清楚！」
「遵命，希爾伯特教授。」
一抹不可察覺的笑容，在盧格安臉上一閃而逝。
說到瑕疵必報，盧格安可是比伊蕾亞還要「小肚雞腸」呢。
沒錯，歡迎會上的事情，一直被盧格安記到現在，從未忘卻……
「那麼，就讓我說的詳細一點，請大家翻開論文第一頁，這里有一個簡短的證明。」
說著，盧格安對伊蕾亞點點頭。
接到信號的伊蕾亞，轉身在黑板上，寫下了兩個單詞——《Berry Paradox》。
貝里悖論？
在場眾多教授看到這個詞組，均是面露茫然，哪怕是見多識廣的希爾伯特也是緊皺眉頭，不知其然。
「這是一個相當冷門的語意悖論，我們大概可以舉一個例子︰第一個不能由小于六十個英文單詞定義的正整數。這就是一個典型的貝里悖論。」
顯然，這個數是存在的。
因為英文單詞只有有限個，能由小于六十個英文單詞定義的正整數也只能有有限個，所以一定有一個正整數不能被這樣定義。
然而這個數反而可以通過「第一個不能由小于六十個英文單詞定義的正整數」來定義，故而產生悖論。
一個相當簡單的語意悖論，在場諸多教授稍微一思考，便理解了這個悖論。
但是他們卻仍想不明白，為什麼盧格安要提起這個不起眼的悖論。
看著眾人疑惑的表情，盧格安嘴角勾起一個莫名的笑容。
「貝里悖論和說謊者悖論一樣， 這也是個由自指引發的矛盾。
但是，我認為構造這個悖論背後的思想有一定的啟發性。
那就是用任何一個只含有有限個字符的語言，在限制字符串長度的情況下，它可以嚴謹描述的物件數量是有限的。故而任何一個這樣的語言通過有限長度的句子可以描述的物件數量最多和自然數一樣多。」
隨著盧格安說出這個結論，教室里鴉雀無聲，所有人都好像看傻子一樣看著他。
一名邏輯學教授忍不住吐槽道︰「這不是一句廢話嗎？」
「沒錯，這就是一句廢話。」盧格安認同地點點頭。
「……」
一眾教授腦門泛出幾條黑線。
你擱這兒擱這兒呢？
就當眾人想要把盧格安轟下台時，盧格安卻突然說道︰「這是一句廢話，但也是一句有用的廢話。因為這個事實直接證明了一個定理。」
說著，盧格安對伊蕾亞點點頭。
伊蕾亞轉身在黑板上畫下一個優美的無窮符號。
「首先，我們可以知道，世界上一定存在一個不可計算的實數。」
盧格安伸出一根手指，接著推理道︰「同樣的，我們也可以輕易證明︰必定存在一個函數f=N→N，使得不存在一個算法可以在有限時間內計算f的值。」
說罷，盧格安伸出了第二根手指。
「最後，也是最重要的一點是︰如果我把一個有限的公理系統作為我的語言，那麼就只存在可數個證明。
當然，我們也只能在公理系統中構造出可數個問題。然而，有可數個證明是否可以解決所有這些問題呢？」
在盧格安伸出第三根手指的同時，伊蕾亞也放下手中的粉筆。
此時，黑板上已經被娟秀整齊的英文小字所覆蓋。盧格安負責說結論，而伊蕾亞負責書寫具體過程，這就是兩人事先劃分下的職責。
看著黑板上密密麻麻的推理過程，在場所有教授紛紛陷入了沉默。
他們的大腦正在急速運轉，試圖尋找出推理的邏輯漏洞。有的教授甚至拿出筆紙，滿頭大汗地推算起來。
這其中，只有希爾伯特一個人沒有試圖去推演那些邏輯。
因為他知道，盧格安既然敢把這套邏輯拿出來，就一定是能禁得住考驗的。
他真正在思考的，則是盧格安最後提出的那個問題︰有可數個證明是否可以解決所有這些問題？
隱隱的，他感覺自己好像看到了什麼，但又好像什麼也沒看到。
相對論，無處不在……
在這些教授還在埋頭消化這三套邏輯證明時，伊蕾亞悄悄挪步到盧格安身後，伸手精準地掐住了盧格安腰間的軟&肉。
嘶~~~
前一秒還雲淡風輕，自信傲然的德國青年，表情瞬間扭曲起來。
盧格安強撐著笑容，轉過身，將伊蕾亞一把抱住。咬著牙，在她耳邊小聲斥問道︰「瘋女人，你在干什麼？」
「當然是幫我們偉大的盧爾尼雪夫斯基先生清醒一下咯。」
伊蕾亞抿嘴微笑，翻手抱住盧格安，踮起腳，將下巴點在盧格安的肩膀上，在他耳旁如是輕語道。
值得一提的是，這期間伊蕾亞掐在盧格安腰間的手從未放開過……