6.1233
Es läßt sich eine Welt denken, in der das Axiom of reducibility nicht gilt. Es ist aber klar, daß die Logik nichts mit der Frage zu schaffen hat, ob unsere Welt wirklich so ist oder nicht.