El primer ejemplo de geometría no euclidiana fue la hiperbólica, teorizada inicialmente por Immanuel Kant, formalizada posterior e independientemente por varios autores a principios del siglo XIX tales como Carl Friedrich Gauss, Nikolái Lobachevski, János Bolyai y Ferdinand Schweickard.