6.22 La logique du monde, que les propositions de la logique montrent dans les tautologies, la mathématique la montre dans les équations.