'''Axioma,''' vel(''-atis'', n.) seu '''sumptio,''' (''-onis'', f.) in [[logicaLogica|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'' adhibetur in duobus cognatibuscognatis sed distinctis sensibus: ''[[Axioma logicalogicum|"axiomata logica"logicum]]'' et ''[[Axioma non logicalogicum|"axiomata non logica."logicum]]''. <!-- 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]]).-->
