A set of axioms for Natural Number Axioms Every natural number has a successor defined by Successor Function