 The first thing to note, therefore, about (RFM App. III) is that Wittgenstein mistakenly thinks—again, perhaps because Wittgenstein had read only Gödel’s Introduction—(a) that Gödel proves that there are true but unprovable propositions of PM (when, in fact, Gödel syntactically proves that if PM is \(\omega\)-consistent, the Gödelian proposition is undecidable in PM) and (b) that Gödel’s proof uses a self-referential proposition to semantically show that there are true but unprovable propositions of PM.