Axiomele lui Peano

Axiomele Peano , cunoscute și sub numele de postulatele lui Peano , în teoria

numerelor , cinci axiome introduse în 1889 de matematicianul italianGiuseppe

Peano . Ca și axiomele pentru geometrie concepute de matematicianul
grec Euclid ( c. 300 î.e.n. ), axiomele Peano au fost menite să ofere o bază riguroasă pentru

numerele naturale (0, 1, 2, 3, ...) utilizate în aritmetică , teoria numerelor și teoria

mulțimilor . În special, axiomele Peano permit generarea unui set infinit de un set finit de

simboluri și reguli.
Cele cinci axiome Peano sunt:

1. Zero este un număr natural.

2. Fiecare număr natural are un succesor în numerele naturale.
3. Zero nu este succesorul unui număr natural.
4. Dacă succesorul a două numere naturale este același, atunci cele două numere originale
sunt aceleași.
5. Dacă un set conține zero și succesorul fiecărui număr este în set, atunci setul conține
numerele naturale.

A cincea axiomă este cunoscută sub numele de principiul inducției, deoarece poate fi

utilizată pentru a stabili proprietăți pentru un număr infinit de cazuri, fără a fi necesar să se

dea un număr infinit de dovezi. În special, având în vedere că P este o proprietate și zero , are P ,
și că , ori de câte ori un număr natural are P succesorul său are , de asemenea , P , rezultă că
toate numerele naturale au P .