A(c) ist eine Definition, eine [eg|Re]gel für das algebraische Rechnen. Sie ist so gewählt, dass dieses Rechnen mit dem Zahlenrechnen übereinstimmt. Sie erlaubt den selben Uebergang im algebraischen Rechnen der, wie sich im rekursiven Beweis zeigt, für Cardinalzahlen 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


✓ / \