Axioma
Appearance
![](https://upload.wikimedia.org/wikipedia/commons/thumb/5/5e/Euclidian_and_non_euclidian_geometry.png/220px-Euclidian_and_non_euclidian_geometry.png)
Axioma (-atis, n.) (ex Graeco ἀξίωμα < ἀξιόειν 'dignus considerare' et 'postulare' < ἄξιος 'libratum'), seu sumptio (-onis, f.), in 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 cognatis sed distinctis sensibus: axiomata logica et axiomata non logica.
Nexus interni
- Axioma electionis
- Axioma computabilitatis
- Axiomata in mathematica scholarum
- Axiomata Peaniana
- Axiomata Zermelo-Fraenkel
- Axiomatizatio
- Demonstratio mathematica
- Evidentia in se
- Exsistentia
- Formula (mathematica)
- Hypothesis
- Hypothesis continui
- Index axiomatum
- Postulatio parallela
- Systema axiomaticum
- Theorema
- Theoria exemplaris
- Theoria axiomatica copiarum
Bibliographia
[recensere | fontem recensere]- Mendelson, Elliot. 1987. Introduction to Mathematical Logic. Belmont in California: Wadsworth & Brooks. ISBN 0-534-06624-0.
Nexus externus
[recensere | fontem recensere]