Axiomensystem

Axiomensystem, Gesamtheit der Axiome, die ein bestimmtes Teilgebiet eines Wissenschaftsbereiches (besonders in der Mathematik) begründen. Jeder Satz dieses Gebiets muss sich aus diesem Axiomensystem logisch herleiten (ableiten) lassen. In diesem Sinne muss ein Axiomensystem vollständig sein. Das Axiomensystem muss ferner widerspruchsfrei sein, d. h., es sollen nicht