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