6.1233 Se puede pensar un mundo en el que el axioma de reductibilidad no tenga validez. Sin embargo, está claro que la lógica no tiene nada que ver con la pregunta de si nuestro mundo es realmente así o no.