Roman numeral 10000 CC DD.svg
Latinitas nondum censa

Axioma

E Vicipaedia
Salire ad: navigationem, quaerere
Axioma clarum est Euclidis axioma de lineis parallelibus. Euclides postulavit per omnem punctum ad lineam datam, unam tantum lineam parallelem esse (1). Licet autem axioma mutare ut nulla linea exsistet quae lineam datam non intersecat (2), vel etiam ut numerus infinitus sit linearum quae lineam datam intersecant (3). Axioma Euclidis ergo non ab aliis geometriae axiomatibus pendet.

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[recensere | fontem recensere]

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

Nexus interni

Nexus externus[recensere | fontem recensere]


stipula Haec pagina est stipula. Amplifica, si potes!