跳至正文

开放式系统

不完备的哥德尔不完备定理

哲学(在此,经验主义和唯理主义的差别似乎不足具道)正如数学所曾经期望的那样,确定一个自明的公理,然后依据演绎逻辑推论出众多的结论,并以此来解释或者预测经验现实。而当数学中,集合论的公理化所遇到的罗素悖论使这种想法破灭,尤其是哥德尔提出了其证明,关于一致性与完全性在一个系统中不相容的证明,即所谓的哥德尔不完备定理。