Formalizes the natural numbers using Robinson arithmetic, Peano arithmetic, induction schemas, and definitions of arithmetic operations. Learners distinguish the standard natural numbers from nonstandard models of arithmetic.
