En dicho trabajo introdujo el universo construible, un modelo de la teoría de conjuntos en el cual los únicos conjuntos que existen son aquellos que pueden construirse a partir de conjuntos más simples.