程理看到這個問題後，才鬆了一口氣。
這個問題並非不難，事實上，它在數學史上的地位至關重要，是涉及到數學最基礎的討論。
這個問題就是著名的“哥德爾不完全性定理”。
實際上，在前面幾層中，就出現過一些跟哥德爾不完全性定理有關聯的問題，不過那都不是哥德爾不完全性定理本身的證明問題。
哥德爾不完全性定理，是某種否定性的結果，但這項否定性的結構卻帶來了數學基礎研究劃時代的變革。
因為哥德爾不完全性定理，破天荒的第一次分清了數學中“真”與“可證”是完全兩種不同的概念。
還有就是，哥德爾在不完全性定理的證明過程中提出了“原始遞迴函式”的概念，成為演算法理論的起點，為後來的電子計算機研製，提供了理論基礎。
這樣一道至關重要的問題，被放到2992層，也是合情合理。
但實際上，哥德爾不完全性定理的證明過程卻不算太過於複雜，他更超前的是思想層面上的解放。
所以早就知曉這道題證明過程的程理，這道題並不算太困難。
只見程理沒有耽擱一分一秒時間，在看到問題後，就徑直上前唰唰唰的寫下答案。
“首先設定好內定理和元定理……
“然後這裡用哥德爾編碼……
“再用不動點定理去證明……
“最後就構造了一個公式，它‘說它自己是不可證’。這個公式為真，但不可證……”
“證明完成。”
程理行雲流水的在光沙上寫下了一整串證明過程，最後當證明完成這四個字寫好後。光沙上就再次浮現出“正確”二字。
然而程理幾乎在一瞬間就衝了出去，往2993層衝了過去。
現在他就是在和時間賽跑，爭分奪秒！
還有8層！
……
就在程理拼命追趕時間的時候。
青靈島上的血腥大戰，已經進入了白熱化階段。
在青靈島上空，此時幾乎成了一片血液的海洋。
一部分是無數血妖被打爆後，爆開的血霧。
另外很大一部分是青靈島這邊，修真者被擊殺後，灑落出的鮮血，混雜在血霧中，竟然還被吸收了。