----------------
Peano arithmetic
----------------

See https://en.wikipedia.org/wiki/Peano_axioms
