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 …
EN: Peano axioms
DE: Peano-Postulate
FR: axiomes de Peano
RU: aксио́мы Пеа́но