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