论文标题
戈德尔定理和直接自我参考
Gödel's Theorem and Direct Self-Reference
论文作者
论文摘要
在他关于不完整定理的论文中，戈德尔似乎说过一种直接构建一种公式本身的直接方式，说它是无法证实的，可能涉及一个错误的循环。在本说明中，证明“直接”自我参考实际上可以用来证明他的结果。
In his paper on the incompleteness theorems, Gödel seemed to say that a direct way of constructing a formula that says of itself that it is unprovable might involve a faulty circularity. In this note, it is proved that 'direct' self-reference can actually be used to prove his result.
