本文探讨了Löb定理，该定理指出在包含皮亚诺算术的理论中，对于任意公式P，如果能证明如果P可证则P为真，那么P就是可证的。我们将通过严密的步骤展示这一证明过程。
Löb's theorem states that in a theory with Peano arithmetic, for any formula P, if it is provable that "if P is provable then P is true", then P is provable.
Löb定理指出，在皮亚诺算术理论中，对于任何公式P，如果这句话“如果P是可证明的，那么P是真”是可证明的，那么P就是可证明的。
接下来，我们要见证如何去严格的证明这样一句看起来是废话的话（而这一证明是集合论史上最伟大的证明之一）：
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
