-
Cantor demuestra la no enumerabilidad de los números reales.
-
Descubrimiento de la equipotencia entre la recta real y el espacio multidimensional.
-
Cantor desarrolla la teoría de los números cardinales y ordinales.
-
Bertrand Russell enuncia su famosa paradoja sobre conjuntos.
-
Zermelo introduce una axiomatización formal de la teoría de conjuntos.
-
Fraenkel amplía el sistema de Zermelo con la noción de conjunto infinito.
-
Gödel demuestra el Teorema de Incompletitud, afectando la visión de la matemática formal.
-
Gödel prueba la consistencia del axioma de elección dentro de la teoría de conjuntos.
-
Cohen demuestra la independencia del axioma de elección y la hipótesis del continuo.