Hay que destacar que, en 1922, Adolf Fraenkel y Thoralf Skolem en forma independiente perfeccionaron el sistema axiomático de Zermelo.