MDLUL/erststufige Peano-Arithmetik

Start=erststufige Peano-Arithmetik

MDLUL/erststufige Peano-Arithmetik

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