The theory of natural numbers defined by the five Peano's axioms. Paris and Harrington (1977) gave the first "natural" example of a statement which is true for the integers but unprovable in Peano arithmetic (Spencer 1983).

See 
   * [http://mathworld.wolfram.com/PeanoArithmetic.html "Peano Arithmetic"]
   * PresburgerArithmetic