Through any point not on a given line there is exactly one line parallel to it (Playfair form). Its independence — proven in the 19th century — opened hyperbolic and spherical geometries.
Through any point not on a given line there is exactly one line parallel to it (Playfair form). Its independence — proven in the 19th century — opened hyperbolic and spherical geometries.