古德斯坦定理 编辑
古德斯坦定理是数理逻辑中的一个关于自然数的叙述，是在 1944 年由鲁本·古德斯坦所证明。其主要是在说明“古德斯坦序列”最终会结束于 0 。柯比和柏丽斯 证明它在皮亚诺公理中是不可证明的。这是继哥德尔不完备定理构造的命题和 1943 年格哈德·根岑直接证明皮亚诺算术中 ε0-induction 不可被证明之后，第三个命题被证明在皮亚诺算术中不可证明。之后的例子是柏丽斯–哈灵顿定理。
1