Axiome sind einfache mathematische Aussagen, die nicht beweisbar sind. Sie werden aufgestellt, um einen Begriff zu definieren oder eine Theorie aufzubauen. Mittels der Axiome lassen sich weitere Aussagen deduktiv herleiten.