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.