哥德尔第二不完备定理

命题陈述

设 $F$ 是满足第一不完备定理假设的相容形式系统,记 $\mathrm{Con}(F)$ 为表达“$F$ 中不存在矛盾的证明”的算术命题。那么 $F$ 无法证明 $\mathrm{Con}(F)$。

为什么成立?

证明第一不完备定理的整个论证本身可以在 $F$ 内部完成并被验证,从而得到 $F\vdash \mathrm{Con}(F)\to G$($G$ 即第一定理中的命题)。如果 $F$ 还能证明 $\mathrm{Con}(F)$,那么就能证明 $G$,这与第一定理矛盾。因此,任何足够强的相容系统都无法在内部证实自身的相容性。

用到此定理的主题

相关定理

分步证明

该定理暂无分步证明。