Lemma 8.11 Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil I/Vorlesung 8
Natürliche Zahlen/Addition mit n/Nachfolgerzählen/Hilfseigenschaften/Fakt
