這樣一道至關重要的問題,被放到99層,也是合情合理。
但實際上,哥德爾不完全性定理的證明過程卻不算太過於複雜,他更超前的是思想層麵上的解放。
所以早就知曉這道題證明過程的程理,這道題並不算太困難。
隻見程理沒有耽擱一分一秒時間,在看到問題後,就徑直上前唰唰唰的寫下答案。
“首先設定好內定理和元定理……
“然後這裏用哥德爾編碼……
“再用不動點定理去證明……
“最後就構造了一個公式,它‘它自己是不可證’。這個公式為真,但不可證……”
“證明完成。”
程理行雲流水的在光沙上寫下了一整串證明過程,最後當證明完成這四個字寫好後。光沙上就再次浮現出“正確”二字。
然而程理幾乎在一瞬間就衝了出去,往99層衝了過去。
現在他就是在和時間賽跑,爭分奪秒!
還有8層!
……
就在程理拚命追趕時間的時候。
青靈島上的血腥大戰,已經進入了白熱化階段。
在青靈島上空,此時幾乎成了一片血液的海洋。
一部分是無數血妖被打爆後,爆開的血霧。
另外很大一部分是青靈島這邊,修真者被擊殺後,灑落出的鮮血,混雜在血霧中,竟然還被吸收了。
這就是血妖島在戰爭中無比強大的一部分原因所在。
他們可以越戰越強!
戰場上的死亡者越多,血霧越濃厚,存活下來還在戰鬥的血妖就會越強!
而那上千道血色瀑布更是從血池上,依然在源源不斷的灌在護島大陣上。
場麵對青靈島來,是極為不利的。
但是!
在戰場上的核心處,卻有點不太一樣。
此時戰場的焦點,也正是在這裏。
原本和一名妖王廝殺的拓木真人,此時他的靈甲右手上,已經抓著那名妖王滴落鮮血的腦袋。
而在拓木真人周圍,有三名妖王正圍著他,展開最激烈的猛攻!
“哈哈,三名妖王,你們覺得這樣就能擊敗我嗎?!太真了,還是趕緊把你們妖君叫出來吧!你們三個還不夠看!”
拓木真人整個靈甲,散發無邊氣勢,整個人戰意凜然,越戰越勇,竟然在以一敵三的情況下,還感覺在壓製對方三個!
暮然間,拓木真人抓住一個一閃即逝的空檔,手上一掐決,一道雷引劈出。
“玄雷九落!”
這是拓木真人最強大的雷法,雷法本就對血妖這樣的至陰修法具有克製效果。
在拓木真人這道法術激發後,九道蘊含毀滅氣息的玄雷,就這樣悄無聲息的從那三名妖王頭頂劈落。
有兩名妖王,祭出自己最強大的法寶進行抵抗,勉強扛了下來。
但另外有一名妖王,卻因為拓木真人的刻意幹擾,沒來得祭出法寶,竟然直接就被這道玄雷,給直接就這樣硬生生給劈爆了!
要知道,這可是一名妖王!堪比元嬰期修真者的存在!
居然就這樣被拓木真人再次斬落!
而就在這個時候,從血池上傳來一股讓人無比恐懼的波動。
上前道血色瀑布,也不再從血池上落下。
下一秒,一道高達千米的血色光影,從血池上展開,然後所有人就看到一道至邪的鬼魅身影,在空中踏著血蓮,就這樣一步一步的朝著拓木真人走來。
戰場上所有人和妖,在這一刻,都被這讓人絕望的恐怖威能下,給完全震懾住。原本在激烈廝殺的戰場,竟然同時出現了一絲絲的停滯。
妖君威勢,當是無比恐怖!
“你值得我出手。”