El sistema resultante, conocido ahora como axiomas de Zermelo-Fraenkel, con diez axiomas, es el más usado para la teoría axiomática de conjuntos.