Een
axioma (of
postulaat) is in de
wiskunde en
logica sinds
Euclides en
Aristoteles een niet
bewezen, maar als grondslag aanvaarde
bewering. Een axioma dient zelf als grondslag voor het bewijs van andere
stellingen. Een axioma maakt deel uit van een
deductief systeem. In de
wiskundige logica heet een deductief systeem een
theorie. Bij het opstellen van een theorie moet men met een aantal beperkingen rekening houden:
- axioma's mogen niet met elkaar in tegenspraak zijn
- axioma's mogen niet uit andere axioma's afgeleid kunnen worden