Peano Axioms

0 is a number if a is a number then successor of a is also a number