Wir sagen nicht, daß ein || der Satz fx wenn f1 gilt & aus fc fc + 1 folgt also für
alle Kardinalzahlen gilt || wahr ist sondern ¤ daß „der Satz gilt für alle Kardinalzahlen” heißt „er gilt für 1 + f(c + 1) folgt aus f(c).”