哲学的公理化到底现实与否？连数学的彻底公理化都是不可能的。一切知识的公理化确实是十九世纪哲学和科学的...

哲学的公理化到底现实与否？连数学的彻底公理化都是不可能的。
一切知识的公理化确实是十九世纪哲学和科学的重要主题，当时的计划是，一切科学可以用数学来表示，于是，一切科学统一在数学；然后，数学统一在逻辑学；最后，有一个公理化逻辑可以统一一切学问。这个系统就相当于一个公理化的哲学。
但随着二十世纪的几个重要的科学发展，这个计划被动摇了，最致命的一击，是哥德尔的不完备定理，证明任何能包含自然算术的公理系统都是不完备的。因此，总有一些真的东西不能被证明。世界上不存在一个既一致，又能解释一切的理论。
不过，虽然没有一个彻底的公理化，我们却是可以发展很多公理个系统。只要有能力创造新的公理系统，就有可能用另一种范式重构科学。所以，公理化的尝试也是必须的。
#哲学##数学#