4 Suchergebnisse

Durch Axiomensysteme werden mathematische Begriffe mithilfe einer Reihe von einfachen Festlegungen, die man Axiome nennt, charakterisiert.
An ein mathematisches Axiomensystem werden eine Reihe von Bedingungen gestellt. So sollte es z.B. widerspruchsfrei sein.

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.

In der Menge $\mathbb{N}$ der natürlichen Zahlen hat jede Zahl n einen (unmittelbaren) Nachfolger n + 1. Fängt man bei 1 an zu zählen, so kommt man nie zu einem Ende, es gibt unendlich viele natürliche Zahlen. Man sagt auch: Die Menge $\mathbb{N}$ der natürlichen Zahlen ist unendlich.