‘Eigensch. einer Zahl’
0'a = b
Man zeigt, daß die Operationen mit Kardinalzahlen nicht [A|a]bzahbar sind, indem man zeigt daß jedem System S solcher Ope-
69
rationen eine neue Operation D'S entspricht. Dann sind aber auch die Sätze der der Arithmetik nicht abzählbar. Dagegen sind aber ˇdie in Russells Sätze System beweisbaren Sätze abzählbar.