Quantum redactiones paginae "Axioma" differant
Content deleted Content added
m nova formula illarum 10,000 paginarum |
add illustration (Myrias Paginarum) |
||
Linea 1:
{{L}}
[[Fasciculus:Euclidian and non euclidian geometry.png|thumb|Axioma clarum est [[Euclides|Euclidis]] axioma de [[linea (mathematica)|lineis]] parallelibus. Euclides postulavit per omnem punctum ad lineam datam, unam tantum lineam parallelem esse (1). Licet autem axioma mutare ut nulla linea exsistet quae lineam datam non intersecat (2), vel etiam ut numerus infinitus sit linearum quae lineam datam intersecant (3). Axioma Euclidis ergo non ab aliis [[geometria]]e axiomatibus pendet.]]
'''Axioma''' (-atis, ''n.'') (ex [[Lingua Graeca|Graeco]] ἀξίωμα < ἀξιόειν 'dignus considerare' et 'postulare' < ἄξιος 'libratum'), seu '''sumptio''' (-onis, ''f.''), in [[Logica|logicis]] posteris proditis est propositio vel thesis non probata vel [[demonstratio mathematica|demonstrata]], sed vera in se habita; ergo conceditur a principio sua veritas, quae sic est incipium aliarum veritatum, deductarum et conclusarum. In [[mathematica]], terminus ''axioma'' adhibetur in duobus cognatis sed distinctis sensibus: ''[[Axioma logicum|axiomata logica]]'' et ''[[Axioma non logicum|axiomata non logica]]''. <!-- In both senses, an axiom is any mathematical statement that serves as a starting point from which other statements are logically derived. Unlike [[theorems]], axioms (unless redundant) cannot be derived by principles of deduction, nor are they demonstrable by [[mathematical proof]]s, simply because they are starting points; there is nothing else they logically follow from (otherwise they would be classified as [[theorems]]).-->
| |||