 In a proof by mathematical induction, we do no actually prove the ‘proposition’ [e.g., \(\forall n\phi(n)\)] that is customarily construed as the conclusion of the proof (PG 406, 374; PR §164), rather this pseudo-proposition or ‘statement’ stands ‘proxy’ for the “infinite possibility” (i.e., “the induction”) that we come to ‘see’ by means of the proof (WVC 135). “I want to say”, Wittgenstein concludes, that “once you’ve got the induction, it’s all over” (PG 407). Thus, on Wittgenstein’s account, a particular proof by mathematical induction should be understood in the following way.