also one standard models real projective plane difference model elliptic geometry metric introduced permitting measurement lengths angles model projective plane metric elliptic model given line point ''a'' lines ''a'' intersect hyperbolic geometry even work lobachevsky gauss bolyai question remained model exist hyperbolic geometry model hyperbolic geometry answered
Formal science Mathematics Pure mathematics Geometry Non-Euclidean geometry