古德斯坦定理

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