Cum Saeculo undevicensimo scientia universi crevisset, opus erat geometriis novis quae negant quintum axiomaEuclideum, quod affirmat lineas non parallellas inter se convenire. Illae geometriae, quae non Euclideae appellantur, sunt utiles ad spatium physicum trans magnas distantias describendum.
Graeci antiqui studium geometriae, quali simile hodie agitur, coeperunt. Philosophi geometriam magnificam artem aestimaverunt. Euclides erat geometres magnus illae aetatis qui disciplinam axiomatum deductivam in opere suo quod Elementa vocatur clare implet. In illo opere, postulata geometriae Euclideanae monstrata sunt et ex illis 465 rationes derivatae sunt. Fundamentum geometriae condiderunt. Saeculo autem undevicensimo, aliqua menda inventa sunt.
Sicut aliae disciplinae mathematicae, geometria logica utitur. Euclides propositiones per axiomata principio libri postulata demonstravit.
Haec axiomata sunt [2]:
a quovis punctu ad quodvis punctum linea duci potest
rectam lineam terminatam in continuum et directum produci potest
quovis centro et intervallo circulus describi potest
si in duas rectas lineas recta linea incidens, interiores et ad easdem partes angulos duobus rectis minores fecerit, duae illae rectae lineae in infinitum productae, inter se convenient ex ea parte ad quam sunt anguli duobus rectis minores.
Intellegendum est in duobus prioribus axiomatibus, quae quandam lineam exsistere postulant, unam solam lineam huius generis adesse, et item in tertio axiomate unum tantum circulum adesse.
Axiomata Euclidis ad geometriam in duabus tantis dimensionibus describendam apta sunt. In geometria hodierna, etiam spatia multorum dimensionum cum intervallis a mensura Euclidea mensis Euclidea vocantur.
Geometria hodierna
Geometria hodierna in has disciplinas dividitur:
Geometria quae de affinitate tantum agit. Haec est quasi geometria Euclidea sed notionibus mensura atque angulis non utitur. Sive ex axiomatibus sive ex algebra lineari construi potest.
Geometria quae punctis proiectis describit. Construi potest ex geometria affinitatis cum punctis in infinitate additis. Ex arte perspectiva orta est.
Geometria analytica est studium geometriae quod coordinatis utitur. Lineae, plana et curvae per aequationes exprimuntur.
Geometria differentialis, vel iunctio geometriae cum calculo differentiali. Hic calculus enim ab initio ad problemata geometrica solvenda, velut ad tangentes inveniendas, adhibitus est. Geometria differentialis apta est ad spatia curvata describenda, sicut in theoria relativitatis generalis.
Topologia est studium proprietatum figurarum quae a transformationibus continuis non mutantur.
Alia axiomata
Existentia et Incidentia
Puncta infinita existunt. Conlatio omnium punctorum spatium appellatur.
Conlatio partita ab illis punctis quae planum appellantur existit.
Conlatio partita a punctis cuiusque plani quae linea recta appellantur existit.
Duo puncta lineam rectam determinant.
Tria puncta planum determinant.
Si duo puncta lineae rectae in plano sunt, omnia puncta illius lineae in illo plano sunt.