Axiom:Dedekind-Peano Axioms