Natürliche Zahlen, axiomatischer Aufbau

Axiomensystem, EUKLID, GIUSEPPE PEANO

Neben der naiven, von Mengenvorstellungen und Anordnungen ausgehenden Gewinnung der natürlichen Zahlen oder einem streng mengentheoretisch fundierten Vorgehen ist auch ein sogenannter axiomatischer Aufbau der natürlichen Zahlen möglich. Dabei wird von Grundsätzen ausgegangen, die in ihrer Gesamtheit einleuchtend, vollständig, zueinander widerspruchsfrei und voneinander unabhängig sein müssen. Diese bilden dann ein Axiomensystem.