tfyt1234 发表于 2009-09-25 22:55

原帖由 malloc66 于 2009-9-4 09:08 发表 http://linux.chinaunix.net/bbs/images/common/back.gif
歌德尔不完备定理：每一个公理体系中都有其无法证明的命题。
存在完备的形式系统，在这个系统中存在的所有正确命题都可以被这个系统所证明，例如一阶逻辑。
歌德尔不完备定理是说：
1. 任何一个形式系统，不能同时具有相容性、完备性、Peano自然数公理
2. 任何一个形式系统，不能证明自身的相容性
页: 1 [2]
查看完整版本: Godel于1931年博士毕业的著名论文