Godel于1931年博士毕业的著名论文

tfyt1234

原帖由 malloc66 于 2009-9-4 09:08 发表
歌德尔不完备定理：每一个公理体系中都有其无法证明的命题。

存在完备的形式系统，在这个系统中存在的所有正确命题都可以被这个系统所证明，例如一阶逻辑。
歌德尔不完备定理是说：
1. 任何一个形式系统，不能同时具有相容性、完备性、Peano自然数公理
2. 任何一个形式系统，不能证明自身的相容性