Las ideas de Zermelo fueron después precisadas por Thoralf Skolem y Abraham Fraenkel, resultando de ello la primera teoría axiomática de conjuntos, conocida como teoría de Zermelo-Fraenkel, aunque sería más adecuada llamarla teoría de Zermelo-Fraenkel-Skolem.