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.

Fons

Mendelson, Elliot. 1987. Introduction to Mathematical Logic. Belmont in California: Wadsworth & Brooks. ISBN 0-534-06624-0.

Vide etiam

• Axiomata in mathematica scholarum
• Axiomata Peaniana
• Axiomatizatio
• Demonstratio mathematica
• Evidentia in se
• Hypothesis
• Hypothesis continui
• Index axiomatum
• Postulatio parallela
• Theoria exemplaris
• Axioma electionis
• Axioma computabilitatis
• Theoria axiomatica copiarum
• Systema axiomaticum

Nexus externus

• Axiomata "metamath"

Haec pagina est stipula. Amplifica, si potes!