6.22

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