Axioma: verschil tussen versies

Een '''axioma''' (of '''postulaat''') is in de [[wiskunde]] en de [[logica]], sinds [[Euclides van Alexandrië|Euclides]] en [[Aristoteles]], een niet [[wiskundig bewijs|bewezen]], maar als grondslag aanvaarde [[Propositie|bewering]]. Een axioma dient als grondslag voor het bewijs van andere wiskundige beweringe,beweringen of ''[[Stelling (wiskunde)|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 gelden de volgende beperkingen: