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

first-order logic | Kreisel conjecture | natural independence phenomenon | number theory | Peano's axioms | propositional calculus