Paralelamente, un enfoque axiomático más sólido basado en la teoría de conjuntos, dio lugar a otros tipos de geometría.