 Wittgenstein’s non-referential, formalist conception of mathematical propositions and terms begins in the  Tractatus.[1]  Indeed, insofar as he sketches a rudimentary Philosophy of Mathematics in the Tractatus, he does so by contrasting mathematics and mathematical equations with genuine (contingent) propositions, sense, thought, propositional signs and their constituent names, and truth-by-correspondence.