Aksiomo: Malsamoj inter versioj
| [kontrolita revizio] | [kontrolita revizio] |
Enhavo forigita Enhavo aldonita
e plibonigadeto, anstataŭigis: <references/> → {{referencoj}} per AWB |
DidCORN (diskuto | kontribuoj) e Kategorio |
||
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".
Linio 28:
* tio, kio estas, dum ĝi estas, necese estas, kaj do ne povas esti tio, kio ĝi ne estas.
Ne estas la aksiomo izolita [[koncepto]], nek [[kunmeto]] de pluraj [[premiso]]j farante [[argumento]]n. Sed aksiomo estas rekte nur aserto; sed tiu aserto havas la internan karakteron esti ĝenerala kaj necesa tiamaniere, ke la alternativo estas prezentata kiel rekte ekskludata.
Ne estas, do, aksiomo la simpla aserto sen la ekskludado de la alternativo, kiel kiam oni nur asertas ke la [[ento]] estas. En aksiomo samtempe la aserto asertas kaj forigas la kontraŭon, kiel en la
En fakto, jam enestas aksiomo. Post kiam la fakto okazas, oni komprenas, ke ne eblas ke ĝi jam ne estis okazinta. Neniam eblas forigi la fakton, post kiam ĝi okazis. La afero en si mem povas esti kontingenca, sed jam ne estas kontingenca post kiam ĝi okazis.
== Notoj kaj referencoj ==
{{referencoj}}
Linio 38:
* http://us.metamath.org/mpegif/mmset.html#axioms <!-- en:''Metamath'' axioms page en->eo:''_Metamath_'' aksiomoj (paĝo, paĝio) -->
[[Kategorio:
[[Kategorio:Sciteorio]]
[[Kategorio:Filozofio de scienco]]
| |||