Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Zahlentheorie/Formaler Aufbau/Induktion/Existenz des Vorgängers/Aufgabe/Aufgabereferenznummer