Peano axioms provide a rigorous foundation for the natural numbers and arithmetic. We will list the axioms and develop competing systems for the counting numbers.