On the Arithmetical Truth of Self-Referential Sentences

Abstract

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.