Antes de Lobachevski, los matemáticos intentaban deducir el quinto postulado de Euclides a partir de los otros axiomas; sin embargo, Lobachevski se dedicó a desarrollar una geometría en la cual el quinto postulado puede no ser cierto o, mejor dicho, ser diferente.