6.22 The logic of the world which the propositions of logic show in tautologies, mathematics shows in equations.