Ich kann nicht fragen, ob die 4 unter den Kombinationszahlen vorkommt, wenn dieses || das mein Zahlensystem ist. Und nicht, ob

1 2

unter den Kardinalzahlen vorkommt, oder zeigen, daß es nicht eine von ihnen ist, außer, wenn ich “Kardinalzahlen” einen Teil eines Systems nenne, welches auch

1 2

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 Angehen || Ausgehen und das Nichtangehen || 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.