Es más, se llegó a demostrar que las geometrías así obtenidas por Bolyai y Lobachevsky eran consistentes (lo que quiere decir que no contenían contradicción lógica ninguna).