sustav aksioma za prirodne brojeve koji traže da je $0$ prirodni broj, da je na prirodnim brojevima definirana jednakost koja je relacija ekvivalencije, da postoji funkcija sljedbenika $n\mapsto S(n)$ tako da nikad ne vrijedi $S(n) = 0$, da je $S$ injekcija i da vrijedi princip matematičke indukcije