MDLUL/Standardarithmetik

Start=Standardarithmetik

MDLUL/Standardarithmetik

Ziel=Zahlentheorie/Peano-Axiome/Definition