论自指句的算术真
On Arithmetical Truth of the Self-Referential Sentences
摘要：
我们从哥德尔1931年的开创性论文中选取一个论点，对其进行推广，并检验其有效性。这里讨论的论点是这样的：句子$G$说它本身是不可证明的，而$G$确实是不可证明的;因此，$G$是真的。
英文摘要：
We take an argument of Gödel's from his ground-breaking 1931 paper, generalize it, and examine its validity. The argument in question is this: the sentence $G$ says about itself that it is not provable, and $G$ is indeed not provable; therefore, $G$ is true.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
