上一次有网友提到了哥德尔不完备性定理，很好。这进一步补充了我认为数学不是理念独立存在的证明的想法。

我用我三脚猫功夫讲一下这个。这个定理原文为：哥德尔证明了任何一个形式系统，只要包括了简单的初等数论描述，而且是自洽的，它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。

说人话就是，哥德尔证明了没有一个完备的数学系统能处理一切事物。在数学界不存在一个大一统的理论，其永远是根据一定条件，提出一定方案的东西。

其内容包含两个方面：
一、任意一个包含一阶谓词逻辑与初等数论的形式系统，都存在一个命题，它在这个系统中既不能被证明为真，也不能被证明为否。（任何系统只要有数学基础逻辑，则它必是不完备的）
二、如果系统S含有初等数论，当S无矛盾时，它的无矛盾性不可能在S内证明。（任何系统都明前提条件，而这个前提条件只能跳出这个系统才能意识到）

这证明了，数学只是人认识自然的工具，其本身不是宇宙真理。数学是人们为了理解、认识自然而发明的工具，是人类自然实践的产物，而不是宇宙存在着一个数学真理等待人们去发现，不是自然自带的原则、自然要遵循的原则。

这不完备性也影响了自然学界的思想。2002年8月17日，著名宇宙学家霍金在北京举行的国际弦理论会议上发表了题为《哥德尔与M理论》的报告，认为建立一个单一的描述宇宙的大统一理论是不太可能的，这一推测也正是基于哥德尔不完全性定理。

大统一理论如果成立，那就是“绝对者”，就是理论界里的上帝。唯物辩证告诉我们，世界根本不存在这种理念上的“绝对者”，没有“天”、“天命”、“天道”这些东西。

因此，这从哲学上来说，是否定了数学的绝对性、唯理念性，而肯定了数学的辩证性。可以说，这是辩证数学的产生，是辩证唯物主义的又一次胜利，在数学上的胜利，在唯心主义最顽固的地方的胜利。