– Evklid geometriyasınıń parallellik aksiomasınan basqa barlıq aksiomalarına hám parallellik aksiomasına qarama-qarsı bolǵan Lobachevskiy aksiomasına tiykarlanıp dúzilgen geometriyalıq teoriya. Lobachevskiy aksioması tómendegini tastıyıqlaydı: berilgen tuwrıda jatpaytuǵın noqat arqalı usı tuwrı menen bir tegislikte jatatuǵın hám ol tuwrını kespeytuǵın eń keminde eki tuwrı ótedi.