6.1233 É plausível pensar um mundo em que não valha o axiom of reducibility; de sorte que se torna claro que a lógica nada tem a ver com a questão de nosso mundo ser realmente assim ou não.