根据不动点定理（不知道也没关系，想知道的同学参考https://www.zhihu.com/question/66094972/answer/238396535），存在一个数a，使得UNPROVABLE(A)的哥德尔数恰好是a自身 。事实上，这个UNPROVABLE(A)就是我们最开始要构造的那个G了 。因为UNPROVABLE(A)为真，当且仅当unprovable(a)，即a具有算术性质unprovable，这等价于a（通过哥德尔编码）所对应的PM系统内公式不可证，即UNPROVABLE(A)不可证 。也就是说，我们成功地构造出了一个公式，它“说它自己不可证” 。这个公式为真，但不可证 。这就证完了整个定理 。这篇文章在百度上大量存在，他完美的解释了哥德尔定理，但是哥德尔定理还有第二个定理，第二，完全性定理，有兴趣的同学，请搜索一下百度 。
以上关于本文的内容，仅作参考！温馨提示：如遇健康、疾病相关的问题，请您及时就医或请专业人士给予相关指导!
「四川龙网」www.sichuanlong.com小编还为您精选了以下内容，希望对您有所帮助：