Con esta contribución de von Neumann, el sistema axiomático de la teoría de conjuntos se hizo completamente satisfactorio y la siguiente cuestión era si aquel era o no definitivo y si no estaba sujeto a mejoras.