Natürliche Zahlen/Induktion/Quantorenlogische Formulierung/Aufgabe