Lemma Anhang 1.5
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung Anhang 1 Natürliche Zahlen/Addition mit n/Nachfolgerzählen/Hilfseigenschaften/Fakt