扑来证明，辅以少量的计算，并进行了严格的公理化证明。
相比地球上通过计算机来计算上百亿次，进行强行解答的方法。
毫无疑问，程理现在写下的这个证明过程，更加符合数学的美，体现了数学严格清晰的思路。
如果程理将这个证明过程，在地球上发表出去，绝对会引起大轰动，产生不亚于1995年费马猜想被证明的巨大轰动。
不过现在，只有那“正确”二字，和程理静静分享着这份喜悦。
程理并没有让自己感怀多久，几乎就十几秒的功夫，他就彻底恢复了情绪。
他看了眼光沙右下角显示的时间：“9999年6月14日7点57分。”
“时间已经不多了，我在这一层卡住了整整1个小时的时间，得抓紧时间了，希望后面9层的问题，可别都这么难的，要不就完蛋了。”程理有些担忧道。
如果后面9层都是这么困难，而且是地球上还没被解答的问题，那么就算他最后都能解答，恐怕也得花上不少时间，到时候青灵岛也不知道能不能撑住。
毕竟现在每多一分一秒，外面就不知道要多死多少人。
有这个紧张意识的程理，加快步伐，一路飞奔的直接冲上了第2992层！
“问，请证明出，任意一个包含自然数算术的形式系统，都存在一个命题，它在这个系统中既不能被证明为真，也不能被证明为否。”
程理看到这个问题后，才松了一口气。
这个问题并非不难，事实上，它在数学史上的地位至关重要，是涉及到数学最基础的讨论。
这个问题就是著名的“哥德
第190章 妖君威势(2/5)