Ich kann nicht fragen, ob die 4 unter den Kombinationszahlen vorkommt,
wenn
dieses || das mein Zahlensystem
ist.
Und nicht, ob
unter den Kardinalzahlen vorkommt, oder zeigen,
daß es nicht eine von ihnen ist,
653
außer, wenn ich
“Kardinalzahlen” einen Teil eines Systems nenne,
welches auch
enthält.
(Ebensowenig kann ich aber auch sagen oder beweisen,
daß 3 eine der Kardinalzahlen ist.)
Die Frage
heißt vielmehr etwa so:
“Geht die Division
1:2 in ganzen
Zahlen aus”, und das läßt sich nur fragen
in einem System, worin das Ausgehen und das Nichtausgehen
vorkommt || bekannt ist.
(Die
Ausrechnung muß Sinn
haben.)
Bezeichnen wir mit “Kardinalzahlen” nicht einen Teil der
rationalen Zahlen, so können wir nicht ausrechnen, ob
81:3 eine
Kardinalzahl ist, sondern, ob die Division
81:3 ausgeht oder
nicht.