Axioma: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Geen bewerkingssamenvatting |
Geen bewerkingssamenvatting |
||
Regel 2:
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 met elkaar in tegenspraak
* axioma's mogen niet uit andere axioma's afgeleid kunnen worden
Regel 106:
[[vec:Asioma]]
[[vi:Tiên đề]]
[[war:Aksyoma]]1000
[[yi:אקסיאם]]
[[zh:公理]]
Regel 112:
[[zh-min-nan:Kong-siat]]
[[zh-yue:公理]]
150
é
150
|