Axiomensystem

eine Menge von Sätzen (Axiome). Aus denen lassen sich andere Sätze herleiten, die Bestandteil einer Theorie sind. Ein Axiomensystem muss so beschaffen sein, dass man daraus keine falschen Aussagen herleiten kann, und es soll nicht zugleich ein Satz und sein logisches Gegenteil beweisbar sein. Wenn keines der Axiome aus den anderen Axiomen beweisbar ist, dann ist das Axiomensystem unabhängig.