第240章 打败冰雪女皇【第44更】
德尔证明:一个包含公理化的算术的系统中无法证明自己的无矛盾性,也就是说任何相容的形式体系无法证明自身相容性…
这就说明像算术这种最简单的公理化命题,是无法证明也无法否证的。
用华夏文明里的数学系统去证明1+1=2就好像用1+1=2去证明1+1=2一样,自身是无法证明自身的正确性!
所以,同等的问题,鸿蒙是什么?
这无法解答。
这问题不仅难,而且还难得吊炸天了。
冰雪女皇想了想,又想了想,还想了想,然后张了张嘴,一句话都说不出。
冰雪女皇放弃了,朝着周衍深深的鞠了一躬,态度既尊敬又敬佩。
“冰怡明白了,冰怡受教了,感谢周衍道友的指点。”
冰雪女皇语气都尊敬了许多,美眸也带着几分明亮的异彩。
周衍其实很想问——你明白啥了?受教了啥?
但他没问——因为他知道,问了,他也听不懂。
“嗯,指点你,也是因为你心性淳朴,天性纯洁。对了,冰怡啊,你可有道侣?”
冰雪女皇一呆,怪异的看了周衍一眼,二话不说,身影‘咻’的一声,
<本章未完请点击"下一页"继续观看!>