691
Ich kann nicht fragen, ob die 4 unter den Kombinationszahlen vorkommt,
wenn
mein Zahlensystem ist.
Und nicht, ob
unter den Kardinalzahlen vorkommt, oder zeigen,
dass es nicht eine von ihnen ist,
ausser, wenn ich “Kardinalzahlen”
einen Teil eines Systems nenne, welches auch
enthält.
(Ebensowenig kann ich aber auch sagen oder beweisen,
dass 3 eine der Kardinalzahlen ist.)
Die Frage
heisst vielmehr etwa so:
“Geht die Division
1:2 in ganzen
Zahlen aus”, und das lässt sich nur fragen in
einem System, worin das
Angeben Ausgehen und das
Nichtangeben Nichtausgehen vorkommt //
bekannt ist // .
(Die
Ausrechnung muss 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.