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.

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.

Nexus interni

Bibliographia

recensere

Nexus externus

recensere