Durante el siglo XIX algunos matemáticos trataron de llevar a cabo un proceso de formalización de la matemática a partir de la teoría de conjuntos.