We take an argument of Godel'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.

中文翻译：

---

论自指句的算术真理

我们从哥德尔 1931 年开创性的论文中选取一个论证，对其进行概括，并检验其有效性。有问题的论点是这样的：句子 $G$ 关于它自己说它是不可证明的，而 $G$ 确实是不可证明的；因此，$G$ 为真。