6.22 La lógica del mundo, que muestra las proposiciones de la lógica en las tautologías, muestra las matemáticas en las igualdades.