MDLUL/zweitstufigen Dedekind-Peano-Axiome

Start=zweitstufigen Dedekind-Peano-Axiome

MDLUL/zweitstufigen Dedekind-Peano-Axiome

Ziel=Zahlentheorie/Peano-Axiome/Definition