Skriptum zur Vorlesung Mengenlehre

7.4. FIXPUNKTE VON NORMALFUNKTIONEN 54Der Nachfolgerfall ist ebenfalls einfach:α β+(γ+1) = α (β+γ)+1) = α β+γ · α = α β · α γ · α = α β · α γ+1nach Induktionsvoraussetzung und Definition der Operationen im Nachfolgerfall.Schließlich sei λ eine Limeszahl und nach Induktionsvoraussetzung∀ξ < λ α β+ξ = α β · α ξ .Dann giltα β+λ ⋃= α η , da Lim(β + λ)η