Vervollständigen Sie den Beweis des Wohlordnungsprinzips indem Sie zeigen, dass für alle m, n ∈ N die Implikationm<n≤m+1 =⇒ n=m+1 gilt.
Dabei ist m < n eine Abkürzung für m ≤ n ∧ m ungleichn.
