Das letzte Axiom heißt Induktionsaxiom, da auf ihm die Beweismethode der vollständigen Induktion beruht. Es ist äquivalent zur Aussage, dass jede nichtleere Menge natürlicher Zahlen ein kleinstes Element hat. Mit ihm lassen sich Addition und Multiplikation auf  rekursiv definieren: