Wir sagen nicht daß
der
ein
Satz fx [f|w]enn f1 gilt & au[f|s] fc fc + 1 folgt daß dieser Satz also für
alle Kardinalzahlen
wahr ist
gilt
sondern sondern daß „der gilt [s|S]atz für alle Kardinalzahlen” heißt „er gilt für 1 + f(c + 1) folgt aus f(c).”