Definition der nicht-euklidischen Geometrie: Bezeichnet ein geometrisches System, das die Axiome der hyperbolischen Geometrie erfüllt und unendlich viele Paare paralleler Linien aufweist.