Axiom
Das Axiom ist, nach Euklid und Aristoteles, ein Grundsatz bzw. Grundgedanke, welcher uneingeschränkt anzunehmen ist. Somit gilt dieser Grundsatz als allgemein gültig und muss nicht durch Abstraktion weiter reduziert bzw. aufgeteilt werden.
Dadurch werden die Einzelteile eines Axioms in sich und nach außen als stimmig festgelegt, weshalb dieser Grundsatz nicht bewiesen werden muss. Das Axiom dient somit als Grundlage für jeden Beweis und für darauf aufbauende Theorien.