6.031 The theory of classes is altogether superfluous in mathematics. This is connected with the fact that the generality which we need in mathematics is not the accidental one. 6.1 The propositions of logic are tautologies. 6.11 The propositions of logic therefore say nothing. (They are the analytical propositions.)