Aufgabe 7.10 Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil I/Arbeitsblatt 7
Zahlentheorie/Formaler Aufbau/Induktion/Existenz des Vorgängers/Aufgabe