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