"To avoid any assertion about the infinitude of the straight line, Euclid says a line segment (he uses the word "line" in this sense) can be extended as far as necessary. Unwillingness to involve the infinitely large is seen also in Euclid's statement of the parallel axiom. Instead of considering two lines that extend to infinity and giving a direct condition or assumption under which parallel lines might exist, his parallel axiom gives a condition under which two lines will meet at some finite point."