哥德尔

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