Peanovi aksiomi (po Giuseppeu Peanu), sustav aksioma kojim je definiran skup N prirodnih brojeva:
(1) Svakomu broju n iz N pridružen je jedan sljedbeniki n+ iz N;
(2) n+ = m+ samo ako je n = m;
(3) 1 je element od N;
(4) n+ ≠ 1 za svaki element n od N (tj. broj 1 nije sljedbenik nijednog broja);
(5) Ako je S podskup od N koji sadrži broj 1 i koji zajedno sa svakim svojim elementom n sadrži i njegov sljedbenik n+, tada je podskup S jednak skupu prirodnih brojeva, S = N (aksiom omogućuje dokazivanje tvrdnji metodom matematičke indukcije). (→ aksiomatski sustav)
