János, no obstante, persistió en su búsqueda, y finalmente llegó a la conclusión de que el postulado es independiente de los otros axiomas de Euclides e ideó diferentes geometrías consistentes construidas a partir de la negación del postulado.