Axioma
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]