Searching for links to Lobachevsky:
Axiom
EuclideanGeometry