6.1233 Si può pensare un mondo in cui l'axiom of reducibility non vale. È chiaro però che la logica non ha niente a che fare con la questione se il nostro mondo sia o meno realmente così.