Es handelt sich bei der gelöschten Änderung ganz einfach um eine Transfinite Induktion auf der Menge der natürlichen Zahlen mit ihrer natürlichen Ordnung (die eine Wohlordnung ist). Praktisch wird dieser Fall wohl eher selten benutzt, er ist aber trotzdem interessant, da es sich hierbei um die "richtige" Formulierung der vollständigen Induktion handelt, so dass diese auf alle Wohlordnungen verallgemeinert werden kann. Man könnte daher diese Variante mit entsprechendem Querverweis auf die transfinite Induktion wieder einbauen? Gruss -- Godfatherofpolka 23:30, 2. Apr. 2010 (CEST)