Peanos aksiomsystem
Peanos aksiomsystem er en aksiomatisk karakterisering af de naturlige tal. De fem aksiomer definerer de naturlige tal som en mængde, hvor ethvert element (tal) har en entydig efterfølger, og alle undtagen det første en entydig forgænger. Yderligere må disse krav