f(c+1) folgt, darum für alle Kardinalzahlen wahr ist; sondern: “der Satz f(x) gilt für alle Kardinalzahlen” heisst “er gilt für ###>alle Kardinalzahlen wahr ist sondern … „der Satz gilt für alle Kardinalzahlen” heißt „er gilt für 1 + f(c+1) folgt aus f(c).”