In [[logicum|logica]] posteris prodita, '''axiomaAxioma,''' vel '''sumptio,''' in [[logica|logicis]] posteris prodita, 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 [[mathematicsmathematica]], the termterminus ''axiomaxioma'' is usedadhibitur in twoduobus relatedcognatibus butsed distinguishabledistinctis sensessensibus: [[#LogicalAxioma axiomslogica|"logicalaxiomata axiomslogica"]] andet [[#Non-logicalAxioma axiomsnon logica|"axiomata non-logicalaxiomslogica."]]. <!-- 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 ==
Mendelson, Elliot. [[1987]]. ''Introduction to mathematicalMathematical logicLogic.'' Belmont in [[California]]: Wadsworth & Brooks. ISBN 0-534-06624-0.