A(c) ist eine Definition,
eine
Regel für das algebraische Rechnen.
Sie ist so
gewählt,
daß dieses Rechnen mit dem Zahlenrechnen
übereinstimmt. Sie erlaubt den selben
Übergang im algebraischen Rechnen der,
wie sich im rekursiven Beweis zeigt, für
Kardinalzahlen gilt.
A(c) ist also nicht das
Resultat dieses Beweises, sondern läuft mit ihm
quasi parallel.
Das was wir aus jenem
Beweis entnehmen, kann man überhaupt nicht in einem Satz
darstellen und ebendadurch allerdings auch nicht verneinen.
61