File:Nonminimal model of natural number axioms, except for induction axiom.gif