Fue inventor con Dedekind y Frege de la teoría de conjuntos, que es la base de las matemáticas modernas.