Most of us would agree that the natural numbers $0,1,\ldots$ exist. Most of us would furthermore agree that any statement about the natural numbers---for example, the infinitude of primes, or the infinitude of twin primes---is either true or false. But if we want to \emph{prove} statements, we require some system of axioms. We look at a few candidate systems, their strengths, and their weaknesses.