Man braucht, wie gesagt gar nicht besorgt zu sein daß da[ß|s] Axiom vielleicht nicht der Wahrheit entsprechen könnte. Die Frage ist nur welchen Sinn welchen Zweck soll
4
es haben? Denn daß es quasi etwas über die Wirklichkeit annimmt ist ja Unsinn. Dagegen kann es eine Regel sein die unter bestimmten Umständen die Bildung eines Zeichens zuläßt das wir das Zeichen der selektiven Klasse nennen & für dessen Anwendung im Kalkül etw Regeln bestehen. Und warum sollte man so einen Kalkül verbieten wollen. Es fragt sich nur ob er das tut, was man von ihm
glaubt.