Content deleted Content added
Xqbot (disputatio | conlationes)
m bot addit: scn:Assioma
m adhibitur--->adhibetur
Linea 1:
'''Axioma,''' vel '''sumptio,''' in [[logica|logicis]] posteris proditis, est propositio vel thesis non probata vel 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'' adhibituradhibetur in duobus cognatibus sed distinctis sensibus: [[Axioma logica|"axiomata logica"]] et [[Axioma non logica|"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]]).-->
 
== Fons ==