MDLUL/Peano-Arithmetik (Operation)

Start=Peano-Arithmetik (Operation)

MDLUL/Peano-Arithmetik (Operation)

Ziel=Zahlentheorie/Peano-Axiome/Operation/Erste_Stufe/Axiom