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"]