Start=Peanomodell

MDLUL/Peanomodell

Ziel=Zahlentheorie/Peano-Axiome/Definition