 This ‘refutation’ of “Gödel’s proof” is perfectly consistent with Wittgenstein’s syntactical conception of mathematics (i.e., wherein mathematical propositions have no meaning and hence cannot have the ‘requisite’ self-referential meaning) and with what he says before and after (§8), where his main aim is to show (2) that, on his own terms, since “true in calculus \(\Gamma\)” is identical with “proved in calculus \(\Gamma\)”, the very idea of a true but unprovable proposition of calculus \(\Gamma\) is a contradiction-in-terms.