Әгәр V постулат урынына, нөктә — тура һыҙыҡ пары өсөн V постулат дөрөҫ түгел тип ҡараһаҡ, килеп сыҡҡан аксиомалар системаһы Лобачевский геометрияһын һүрәтләр.
Если вместо V постулата допустить, что для пары точка — прямая V постулат неверен, то полученная система аксиом будет описывать геометрию Лобачевского.