Start=Peano-Modell

MDLUL/Peano-Modell

Ziel=Zahlentheorie/Peano-Axiome/Definition