Wohlbegründete Induktion

Das Prinzip, dass, wenn eine Relation R auf einer Menge wohlbegründet ist (es gibt keine unendlichen absteigenden R-Ketten), und jedes Element x die Eigenschaft besitzt, sofern alle R-kleineren Elemente sie besitzen, dann gilt die Eigenschaft für alle Elemente; es verallgemeinert die gewöhnliche Induktion über die natürlichen Zahlen auf beliebige wohlbegründete Ordnungen.