Axioma: verschil tussen versies

Een '''axioma''' (of '''postulaat''') is in de [[wiskunde]] en [[logica (wetenschap)|logica]] sinds [[Euclides van Alexandrië|Euclides]] en [[Aristoteles]] een niet [[wiskundig bewijs|bewezen]], maar als grondslag aanvaarde [[stelling (wiskunde)|stelling]]. Een axioma dient zelf als grondslag van 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: