Quantum redactiones paginae "Axioma" differant
Content deleted Content added
m bot addit: en:Axiom |
m Automaton: addens Categoria:1000 paginae; mutationes minores |
||
Linea 1:
In [[logicum|logica]] posteris prodita, '''axioma,''' vel '''sumptio,''' 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 [[mathematics]], the term ''axiom'' is used in two related but distinguishable senses: [[#Logical axioms|"logical axioms"]] and [[#Non-logical axioms|"non-logical axioms"]]. 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 mathematical logic.'' Belmont in [[California]]: Wadsworth & Brooks. ISBN
== Vide etiam ==
*[[Axiomata in mathematica scholarum]]
*[[Axiomata Peano]]
Linea 18:
*[[System axiomatica]]-->
== Nexus externus ==
* [http://us.metamath.org/mpegif/mmset.html#axioms Axiomata "metamath"]
Linea 26:
[[Categoria:Logicum]]
[[Categoria:Termini mathematici]]
[[Categoria:1000 paginae]]
[[ar:بديهية]]
|