Gracias a sus atrevidas investigaciones sobre los conjuntos infinitos fue el primero capaz de "formalizar" la noción de infinito bajo la forma de los números transfinitos (cardinales y ordinales).