 For example, in saying that “[m]athematics is a method of logic” perhaps Wittgenstein is only saying that since the general form of a natural number and the general form of a proposition are both instances of the general form of a (purely formal) operation, just as truth-functional propositions can be constructed using the general form of a proposition, (true) mathematical equations can be constructed using the general form of a natural number. Alternatively, Wittgenstein may mean that mathematical inferences (i.e., not substitutions) are in accord with, or make use of, logical inferences, and insofar as mathematical reasoning is logical reasoning, mathematics is a method of logic.