设置

关灯

第240章 打败冰雪女皇【第44更】

德尔证明:一个包含公理化的算术的系统中无法证明自己的无矛盾性,也就是说任何相容的形式体系无法证明自身相容性…

    这就说明像算术这种最简单的公理化命题,是无法证明也无法否证的。

    用华夏文明里的数学系统去证明1+1=2就好像用1+1=2去证明1+1=2一样,自身是无法证明自身的正确性!

    所以,同等的问题,鸿蒙是什么?

    这无法解答。

    这问题不仅难,而且还难得吊炸天了。

    冰雪女皇想了想,又想了想,还想了想,然后张了张嘴,一句话都说不出。

    冰雪女皇放弃了,朝着周衍深深的鞠了一躬,态度既尊敬又敬佩。

    “冰怡明白了,冰怡受教了,感谢周衍道友的指点。”

    冰雪女皇语气都尊敬了许多,美眸也带着几分明亮的异彩。

    周衍其实很想问——你明白啥了?受教了啥?

    但他没问——因为他知道,问了,他也听不懂。

    “嗯,指点你,也是因为你心性淳朴,天性纯洁。对了,冰怡啊,你可有道侣?”

    冰雪女皇一呆,怪异的看了周衍一眼,二话不说,身影‘咻’的一声,
 <本章未完请点击"下一页"继续观看!>