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 [[Bewering (logica)Propositie|bewering]]. Een axioma dient zelf als grondslag voor het bewijs van andere [[stelling (logica)|stelling]]en. 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: