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