Unlock: Peano Axioms

The five axioms that define the natural numbers: zero exists, every number has a successor, successors are injective, zero is not a successor, and induction. All of arithmetic follows from these.