definicija |
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 |
istovrijednice |
engleski: Peano axioms njemački: Peano-Axiome, Peano-Postulate francuski: axiomes de Peano ruski: aксио́мы Пеа́но |
razredba |
polje: matematika |
vrela |
