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.