1870: Felix Klein construye una geometría analítica para la geometría Lobachevski así estableciendo su auto-consistencia y la independencia lógica del quinto postulado de Euclides.

1870: Felix Klein construye una geometría analítica para la geometría Lobachevski así estableciendo su auto-consistencia y la independencia lógica del quinto postulado de Euclides.