Das Fermat-Verfahren

Das Prinzip des unendlichen Abstiegs ist ein spezielles mathematisches Beweisverfahren für die Frage der Lösung Diophantischer Gleichungen, 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.