Start=Peano-Axiome

MDLUL/Peano-Axiome

Ziel=Zahlentheorie/Peano-Axiome/Definition