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