Care must be taken, however. Wittgenstein distinguishes utterances which are sinnlos, which lack sense (including logical tautologies and contradictions here) from those which are unsinnig, nonsensical; it is not clear into which class mathematical utterances fall. One might well think that the game formalist should treat mathematical utterances, on that view just strings of meaningless marks, as unsinnig, not just sinnlos. One clear difference from game formalism however is this: for Wittgenste