From Wikipedia, the free encyclopedia
Peanos aksiomer, der blev opstillet af matematikeren Giuseppe Peano, består af fire udsagn, som definerer de naturlige tal.
De naturlige tal, , er en mængde udstyret med en efterfølgerfunktion , der opfylder følgende fire aksiomer:
Man kan se de første tre aksiomer som reglerne for den maskine – efterfølgerfunktionen – der skal "producere" de naturlige tal: Første aksiom sikrer, at vi har et element at gå ud fra, nemlig 1. Dette element er så ifølge andet aksiom det "første" element: Det er ikke efterfølger for noget andet tal. Desuden sker produktionen ifølge tredje aksiom "lineært": Eftersom forskellige tal har forskellige efterfølgere, springer man ved produktionen ikke pludseligt tilbage i rækken, så at sige, men fortsætter uendeligt.
Det sidste aksiom, som kaldes induktionsaksiomet, sikrer, at der ikke er flere elementer end dem, som defineres ved de første tre aksiomer. Det bruges desuden til at bevise princippet om matematisk induktion.
Seamless Wikipedia browsing. On steroids.