Satz 7.2 Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil I/Vorlesung 7
Natürliche Zahlen/Zählen/Nachfolgerabbildung/Isomorphie/Fakt
