Peano Arithmetic is a particular set of axioms and rules which allow you to prove theorems about the natural numbers.