691
                    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 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.