Title: The completeness axiom of Lobachevskian geometry
Subjects: Geometry, Non-Euclidean