Peano axioms
Base model 2: The "successor" model (named after the successor function of the Peano axioms):