Lemma 7.6 Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil I/Vorlesung 7
Natürliche Zahlen/Nichtleere Teilmengen/Hat Minimum/Fakt