难的，要不就完蛋了。”程理有些担忧道。
    如果后面9层都是这么困难，而且是地球上还没被解答的问题，那么就算他最后都能解答，恐怕也得花上不少时间，到时候青灵岛也不知道能不能撑住。
    毕竟现在每多一分一秒，外面就不知道要多死多少人。
    有这个紧张意识的程理，加快步伐，一路飞奔的直接冲上了第2992层！
    “问，请证明出，任意一个包含自然数算术的形式系统，都存在一个命题，它在这个系统中既不能被证明为真，也不能被证明为否。”
    程理看到这个问题后，才松了一口气。
    这个问题并非不难，事实上，它在数学史上的地位至关重要，是涉及到数学最基础的讨论。
    这个问题就是著名的“哥德尔不完全性定理”。
    实际上，在前面几层中，就出现过一些跟哥德尔不完全性定理有关联的问题，不过那都不是哥德尔不完全性定理本身的证明问题。
    哥德尔不完全性定理，是某种否定性的结果，但这项否定性的结构却带来了数学基础研究划时代的变革。
    因为哥德尔不完全性定理，破天荒的第一次分清了数学中“真”与“可证”是完全两种不同的概念。

 <本章未完请点击"下一页"继续观看!>