Peanovi aksiomi
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
Engleske istovrijednice: Peano axioms, Peano's axioms
Njemačke istovrijednice: Peano-Axiome, Peano-Postulate
Struna ID: 33179
Obrađivač: Zoran Škoda
Faza obrade: zaključaj naziv
Vrsta riječi: imenica Rod: muški Broj: množina
Cilj projekta "Hrvatsko nazivlje u matematici" je na jednom mjestu prikupiti i obraditi sve hrvatske nazive koji na izravan ili neizravan način imaju veze s matematikom. Ako želite na bilo koji način doprinijeti ostvarenju ciljeva ovog projekta, molim javite se voditelju projekta na adresu goran.igaly@math.hr
WMW naziv: Peano's axioms
WMW klasifikacija: Foundations of Mathematics > Axioms >
WMW definicija: 1. Zero is a number.
2. If \(a\) is a number, the successor of \(a\) is a number.
3. zero is not the successor of a number.
4. Two numbers of which the successors are equal are themselves equal.
5. (induction axiom.) If a set \(S\) of numbers contains zero and also the successor of every number in \(S\), then every number is in \(S\).
WMW napomena: Peano's axioms are the basis for the version of number theory known as Peano arithmetic.
WMW See also: Induction Axiom, Peano Arithmetic
Izvor: Weisstein, Eric W. "Peano's Axioms." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/PeanosAxioms.html
Struna ID: 33179