Models for non-Euclidean Geometry Lobachevsky gave axioms for non-Euclidean geometry and derived theorems, but did not provide a model which has non-Euclidean.
