axioma

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