Abstiege vollständig auditieren

Primfaktoren, kleinste Lösungen und Abstieg · Abschnitt 23 von 64

Beweis

Abstiege vollständig auditieren

Die Wohlordnung positiver ganzer Zahlen verwandelt einen wiederholbaren Verkleinerungsschritt in einen Widerspruch: Ein kleinstes Objekt kann keine echt kleinere Version seiner selbst erzeugen.

Checkliste

Zahlentheorie-Audit

Ist die positive Kandidatenmenge nichtleer?
Ist der neue Wert ganzzahlig und zulässig?
Ist er wirklich strikt kleiner?
Liefert der Widerspruch genau die behauptete Teilbarkeit oder Unmöglichkeit?