MDLUL/erststufige Peano-Arithmetik
Start=erststufige Peano-Arithmetik
MDLUL/erststufige Peano-Arithmetik |
---|
Ziel=Zahlentheorie/Peano-Axiome/Nachfolger/Erste_Stufe/Axiom
Start=erststufige Peano-Arithmetik
MDLUL/erststufige Peano-Arithmetik |
---|
Ziel=Zahlentheorie/Peano-Axiome/Nachfolger/Erste_Stufe/Axiom