 Frege concentrates most of his fire on the term formalist pronouncements of his targets; but game formalism is the only game in town for the anti-platonist worried about the ontological commitment to a realm of abstract objects. For term formalism treats mathematics as having a content, as being a kind of syntactic theory; and standard syntactic theory entails the existence of an infinity of entities—expression types—which seem every bit as abstract as numbers. Indeed, as Gödel’s arithmetisation of syntax showed, the elements and inter-relationships of standard formal syntax can be modelled as an infinite substructure inside the standard model of arithmetic.