Satz 8.14 Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Teil I/Vorlesung 8
Natürliche Zahlen/Nachfolger/Addition und disjunkte Vereinigung/Fakt
