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:

 

* axioma's mogen niet uit andere axioma's afgeleid kunnen worden

 

* grondstelling

* postulaat

 

== Verwante begrippen ==

[[vec:Asioma]]

[[vi:Tiên đề]]

[[yi:אקסיאם]]

[[zh:公理]]

[[zh-min-nan:Kong-siat]]

[[zh-yue:公理]]