Aksiomo: Malsamoj inter versioj
[kontrolita revizio] | [kontrolita revizio] |
Enhavo forigita Enhavo aldonita
Addbot (diskuto | kontribuoj) e Bot: Migrating 79 interwiki links, now provided by Wikidata on d:q17736 (translate me) |
e plibonigadeto, anstataŭigis: <references/> → {{referencoj}} per AWB |
||
Linio 1:
'''Aksiomo''' estas [[principo]] (baza aserto) kiu estas akceptata sen [[pruvo]] en scienca [[teorio]] aŭ [[logiko|deduktiva]] sistemo.
La vorto ''aksiomo'' devenas de greka αξιωμα [aksioma] - kiu signifas "io inda aŭ memevidenta".
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.)
== Matematiko ==
Linio 32:
== Notoj ==
{{referencoj}}
== Eksteraj ligiloj ==
|