On the Arithmetical Truth of Self‐Referential Sentences

Theoria 85 (1):8-17 (2019)
  Copy   BIBTEX


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".

Author Profiles


Added to PP

420 (#44,961)

6 months
125 (#36,054)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?