Peano aksiomos
Peãno aksiòmos, aksiomų sistema natūraliųjų skaičių aibei apibūdinti. Pirminės sąvokos yra vienetas ir tęsinio operacija (skaičiaus padidinimas vienetu). Šioms sąvokoms apibrėžti galioja 5 Peano aksiomos: 1 – vienetas yra natūralusis skaičius; 2 – natūraliojo skaičiaus tęsinys yra natūralusis skaičius; 3 – vienetas nėra natūraliojo skaičiaus tęsinys; 4 – tokį patį tęsinį turintys natūralieji skaičiai yra lygūs; 5 – jei S yra natūraliųjų skaičių savybė ir, jei vienetas turi S savybę, o S savybę turinčio natūraliojo skaičiaus tęsinys t. p. turi S savybę, tai S savybę turi visi natūralieji skaičiai. Penktoji aksioma vadinama natūraliųjų skaičių indukcijos aksioma. Naudojant šias aksiomas įrodomos visos kitos natūraliųjų skaičių aritmetikos savybės.
Aksiomas 1889 paskelbė G. Peano; iki jo matematinę natūraliųjų skaičių sampratą plėtojo vokiečių matematikai – Hermannas Güntheris Grassmannas (1860 atrado, kad dauguma aritmetikos faktų įrodoma naudojant tik skaičiaus padidinimo vienetu operaciją ir indukciją) ir R. J. W. Dedekindas (1888 paskelbė iš esmės tas pačias aksiomas).
1751