Ero sivun ”Peanon aksioomat” versioiden välillä

'''Peanon aksioomat''' ovat [[matematiikka|matematiikassa]] [[italia]]laisen matemaatikko [[Giuseppe Peano]]n esittämät yhdeksän [[aksiooma]]a, jotka määrittävät [[luonnollinen luku|luonnolliset luvut]]. Aksioomat perustuvat [[funktio]]on S, jolle S(''a'')=''a''+1 (merkitään myös S''a''=''a''+1) kaikilla luonnollisilla luvuilla ''a''. Peanon aksioomat ovat:

 

# Jokainen luonnollinen luku on yhtä suuri itsensä kanssa eli yhtäsuuruusrelaatio on refleksiivinen.

# Jokaiselle luonnollisille luvuille ''a'' ja ''b'' ''a''=''b'', jos ja vain jos ''b''=''a'' (yhtäsuuruusrelaatio on symmetrinen).