To paraphrase Wittgenstein, is it more likely that we “discovered” chess or that we invented it? He suggests all of mathematics should be thought of in this way, as more and more complex ways of stating tautologies.