哥德尔定理 - 随机吧

level 7

quicker1 楼主

任何一个相容的数学形式化理论中，只要它强到足以蕴涵皮亚诺算术公理，就可以在其中构造在体系中既不能证明也不能否证的命题。

2008年10月17日 13点10分 1