Peano-Axiomatik/Erste Stufe/Aufzählbar axiomatisierbar/Aufgabe