Lemma 10.2 Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil I/Vorlesung 10
Natürliche Zahlen/Ordnungsrelation/Addition/Fakt