Definition 8.10 Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil I/Vorlesung 8
Natürliche Zahlen/Addition mit n/Nachfolgerzählen/Definition
