The fifth of Peano's Axioms, which states: If a Set of numbers contains zero and also the successor of every number in , then every number is in .