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.

Durch einen dedekindschen Schnitt t werden Zahlenmengen in ein Paar Teilmengen A und B so zerlegt, dass für jedes a ∈ A und jedes b ∈ B die Beziehung a ≤ t ≤ b gilt (wobei t eine reelle Zahl ist).Man kann dedekindsche Schnitte in der Menge ℚ der rationalen Zahlen benutzen,...