Aksiomo: Malsamoj inter versioj
| [kontrolita revizio] | [kontrolita revizio] |
Enhavo forigita Enhavo aldonita
e →Eksteraj ligiloj: -kat+{{havenda artikolo}} (diskuto) |
Xqbot (diskuto | kontribuoj) e roboto aldono de: frr:Aksioom; cosmetic changes |
||
Linio 5:
Aksiomoj kies valideco ne estas tiel evidenta ankaŭ estas nomataj ”[[postulato]]j”. Parenca nocio estas ”[[dogmo]]”. Subfako de [[filozofio]], en kiu temas pri aksiomoj kaj aksiomigo, nomiĝas [[aksiomiko]].
== Deveno kaj deduktaĵoj ==
Aksiomo ne estas pruvebla surbaze de [[teorio]] en kiu ĝi rolas, sed ĝi povas esti akceptata
* pro memevidenteco,
* pro pruvebleco kadre de iu pli baza teorio,
* pro supozata manko de kontraŭdiraj faktoj,
* aŭ pro nura [[konvencio]].
Gravaj asertoj, kiujn oni povas dedukti de aksiomoj aŭ aksiomaro pere de la rimedoj de la teorio estas nomataj [[teoremo]]j (en [[matematiko]] kaj [[logiko]], sed foje ankaŭ en aliaj [[scienco]]j.)
Linio 69:
[[fi:Aksiooma]]
[[fr:Axiome]]
[[frr:Aksioom]]
[[gd:Aicseam]]
[[gl:Axioma]]
| |||