Intentó en dos ocasiones, en 1922 y 1925, axiomatizar la teoría de conjuntos, eliminando las paradojas y mejorando el sistema axiomático de Zermelo y creando los axiomas de Zermelo-Fraenkel (ZF), y demostrando formalmente la independencia del axioma de elección (ZFC).