 For this reason, Wittgenstein has two main aims in (RFM App. III): (1) to refute or undermine, on its own terms, the alleged Gödel proof of true but unprovable propositions of PM, and (2) to show that, on his own terms, where “true in calculus \(\Gamma\)” is identified with “proved in calculus \(\Gamma\)”, the very idea of a true but unprovable proposition of calculus \(\Gamma\) is meaningless.