Unendlicher Abstieg

Das Prinzip des unendlichen Abstiegs ist ein spezielles mathematisches Beweisverfahren, das auf dem Prinzip des Widerspruchsbeweises basiert. Hierbei wird ausgenutzt, dass es in der Menge der natürlichen Zahlen keine unendliche Folge kleiner werdender Zahlen geben kann, was gleichbedeutend dazu ist, dass jede nichtleere Menge natürlicher Zahlen ein kleinstes Element besitzt (Wohlordnungsprinzip).