 The core idea of Wittgenstein’s formalism from 1929 (if not 1918) through 1944 is that mathematics is essentially syntactical, devoid of reference and semantics. The most obvious aspect of this view, which has been noted by numerous commentators who do not refer to Wittgenstein as a ‘formalist’ (Kielkopf 1970: 360–38; Klenk 1976: 5, 8, 9; Fogelin 1968: 267; Frascolla 1994: 40; Marion 1998: 13–14), is that, contra Platonism, the signs and propositions of a mathematical calculus do not refer to anything. As Wittgenstein says at (WVC 34, note 1), “[n]umbers are not represented by proxies; numbers are there”. This means not only that numbers are there in the use, it means that the numerals are the numbers, for “[a]rithmetic doesn’t talk about numbers, it works with numbers” (PR §109).