，然后点击“添加到主屏幕” 文学巴士 www.wx84.cc，程序员修真之路无错无删减全文免费阅读！
sp;但实际上，哥德尔不完全性定理的证明过程却不算太过于复杂，他更超前的是思想层面上的解放。
所以早就知晓这道题证明过程的程理，这道题并不算太困难。
只见程理没有耽搁一分一秒时间，在看到问题后，就径直上前唰唰唰的写下答案。
“首先设定好内定理和元定理……
“然后这里用哥德尔编码……
“再用不动点定理去证明……
“最后就构造了一个公式，它‘说它自己是不可证’。这个公式为真，但不可证……”
“证明完成。”
程理行云流水的在光沙上写下了一整串证明过程，最后当证明完成这四个字写好后。光沙上就再次浮现出“正确”二字。
然而程理几乎在一瞬间就冲了出去，往2993层冲了过去。
现在他就是在和时间赛跑，争分夺秒！
还有8层！
……
就在程理拼命追赶时间的时候。
青灵岛上的血腥大战，已经进入了白热化阶段。
在青灵岛上空，此时几乎成了一片血液的海洋。
一部分是无数血妖被打爆后，爆开的血雾。
另外很大一部分是青灵岛这边，修真者被击杀后，洒落出的鲜血，混杂在血雾中，竟然还被吸收了。
这就是血妖岛在战争中无比强大的一部分原因所在。
他们可以越战越强！
战场上的死亡者越多，血雾越浓厚，存活下来还在战斗的血妖就会越强！
而那上千道血色瀑布更是从血池上，依然在源源不断的灌在护岛大阵上。
场面对青灵岛来说，是极为不利的。
但是！
在战场上的核心处，却有点不太一样。
此时战场的焦点，也正是在这里。
原本和一名妖王厮杀的拓木真人，此时他的灵甲右手上，已经抓着那名妖王滴落鲜血的脑袋。
而在拓木真人周围，有三名妖王正围着他，展开最激烈的猛攻！
“哈哈，三名妖王，你们觉得这样就能击败我吗？！太天真了，还是赶紧把你们妖君叫出来吧！你们三个还不够看！”
拓木真人整个灵甲，散发无边气势，整个人战意凛然，越战越勇，竟然在以一敌三的情况下，还感觉在压制对方三个！
暮然间，拓木真人抓住一个一闪即逝的空档，手上一掐决，一道雷引劈出。
“玄雷九落！”
这是拓木真人最强大的雷法，雷法本就对血妖这样的至阴修法具有克制效果。
在拓木真人这道法术激发后，九道蕴含毁灭气息的玄雷，就这样悄无声息的从那三名妖王头顶劈落。
有两名妖王，祭出自己最强大的法宝进行抵抗，勉强扛了下来。
但另外有一名妖王，却因为拓木真人的刻意干扰，没来得祭出法宝，竟然直接就被这道玄雷，给直接就这样硬生生给劈爆了！
要知道，这可是一名妖王！堪比元婴期修真者的存在！
居然就这样被拓木真人再次斩落！
而就在这个时候，从血池上传来一股让人无比恐惧的波动。
上前道血色瀑布，也不再从血池上落下。
下一秒，一道高达千米的血色光影，从血池上展开，然后所有人就看到一道至邪的鬼魅身影，在空中踏着血莲，就这样一步一步的朝着拓木真人走来。
战场上所有人和妖，在这一刻，都被这让人绝望的恐怖威能下，给完全震慑住。原本在激烈厮杀的战场，竟然同时出现了一丝丝的停滞。
妖君威势，当是无比恐怖！
“你值得我出手。”
sp;但实际上，哥德尔不完全性定理的证明过程却不算太过于复杂，他更超前的是思想层面上的解放。
所以早就知晓这道题证明过程的程理，这道题并不算太困难。
只见程理没有耽搁一分一秒时间，在看到问题后，就径直上前唰唰唰的写下答案。
“首先设定好内定理和元定理……
“然后这里用哥德尔编码……
“再用不动点定理去证明……
“最后就构造了一个公式，它‘说它自己是不可证’。这个公式为真，但不可证……”
“证明完成。”
程理行云流水的在光沙上写下了一整串证明过程，最后当证明完成这四个字写好后。光沙上就再次浮现出“正确”二字。
然而程理几乎在一瞬间就冲了出去，往2993层冲了过去。
现在他就是在和时间赛跑，争分夺秒！
还有8层！
……
就在程理拼命追赶时间的时候。
青灵岛上的血腥大战，已经进入了白热化阶段。
在青灵岛上空，此时几乎成了一片血液的海洋。
一部分是无数血妖被打爆后，爆开的血雾。
另外很大一部分是青灵岛这边，修真者被击杀后，洒落出的鲜血，混杂在血雾中，竟然还被吸收了。
这就是血妖岛在战争中无比强大的一部分原因所在。
他们可以越战越强！
战场上的死亡者越多，血雾越浓厚，存活下来还在战斗的血妖就会越强！
而那上千道血色瀑布更是从血池上，依然在源源不断的灌在护岛大阵上。
场面对青灵岛来说，是极为不利的。
但是！
在战场上的核心处，却有点不太一样。
此时战场的焦点，也正是在这里。
原本和一名妖王厮杀的拓木真人，此时他的灵甲右手上，已经抓着那名妖王滴落鲜血的脑袋。
而在拓木真人周围，有三名妖王正围着他，展开最激烈的猛攻！
“哈哈，三名妖王，你们觉得这样就能击败我吗？！太天真了，还是赶紧把你们妖君叫出来吧！你们三个还不够看！”
拓木真人整个灵甲，散发无边气势，整个人战意凛然，越战越勇，竟然在以一敌三的情况下，还感觉在压制对方三个！
暮然间，拓木真人抓住一个一闪即逝的空档，手上一掐决，一道雷引劈出。
“玄雷九落！”
这是拓木真人最强大的雷法，雷法本就对血妖这样的至阴修法具有克制效果。
在拓木真人这道法术激发后，九道蕴含毁灭气息的玄雷，就这样悄无声息的从那三名妖王头顶劈落。
有两名妖王，祭出自己最强大的法宝进行抵抗，勉强扛了下来。
但另外有一名妖王，却因为拓木真人的刻意干扰，没来得祭出法宝，竟然直接就被这道玄雷，给直接就这样硬生生给劈爆了！
要知道，这可是一名妖王！堪比元婴期修真者的存在！
居然就这样被拓木真人再次斩落！
而就在这个时候，从血池上传来一股让人无比恐惧的波动。
上前道血色瀑布，也不再从血池上落下。
下一秒，一道高达千米的血色光影，从血池上展开，然后所有人就看到一道至邪的鬼魅身影，在空中踏着血莲，就这样一步一步的朝着拓木真人走来。
战场上所有人和妖，在这一刻，都被这让人绝望的恐怖威能下，给完全震慑住。原本在激烈厮杀的战场，竟然同时出现了一丝丝的停滞。
妖君威势，当是无比恐怖！
“你值得我出手。”