MDLUL/Peano-Arithmetik (1. Stufe)

Start=Peano-Arithmetik (1. Stufe)

MDLUL/Peano-Arithmetik (1. Stufe)

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