Start=Peanoaxiome

MDLUL/Peanoaxiome

Ziel=Zahlentheorie/Peano-Axiome/Definition