En 1905 comenzó a axiomatizar la teoría de conjuntos; en 1908 publicó sus resultados a pesar de haber fallado en probar la consistencia de su sistema axiomático.