Ich kann nicht fragen, ob die 4 unter den Kombinationszahlen vorkommt, wenn
das
dieses
mein Zahlensystem ist. Und nicht, ob
1
2
unter den Kardinalzahlen vorkommt, oder zeigen, dass es nicht eine von ihnen ist, ausser, wenn ich “Kardinalzahlen” einen Teil eines Systems nenne, welches auch
1
2
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
Ausgehen
Angehen
und das
Nichtausgehen
Nichtangehen
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.