A partir de 1935 el grupo Bourbaki de matemáticos franceses empezaron a publicar una serie de libros para formalizar muchas áreas de matemáticas basados en los nuevos fundamentos de la teoría de conjuntos.