Lemma 8.13 Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Teil I/Vorlesung 8
Natürliche Zahlen/Nachfolger/Addition/Summe ist 0/Fakt