Computable Euclid

Lines

Euclid calls a line a “breadthless length”. In modern usage, a line is a primitive notion which become better defined by axioms. Euclidean, spherical, differential and projective geometries use different axiom sets. Euclid’s axiom that two points define a line via a straightedge construction classifies how lines operate in Euclidean geometry.