I Peanos opprinnelige formulering er induksjonsaksiomet et second-order axiom. Det er nå vanlig å erstatte dette annenordensprinsippet med et svakere first-order induksjonsskjema. Det er viktige forskjeller mellom førsteordens og andreordens-formuleringene, som diskutert i avsnittet Modeller under.