Methode des Unendlichen Abstiegs

Eine Beweismethode, die einen Widerspruch herleitet, indem man ein minimales Gegenbeispiel in einer wohlgeordneten Menge (typischerweise den positiven ganzen Zahlen) annimmt und daraus unendlich viele strikt kleinere Gegenbeispiele konstruiert, was der Minimalität widerspricht.