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