Aufgabe 7.11 Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil I/Arbeitsblatt 7
Dedekind-Peano-Axiome/Nachfolger/Iterationen/Fixpunktfrei/Aufgabe
