En sus primeros tiempos, la teoría de conjuntos era informal y fue desarrollada a fines del siglo XIX, principalmente por Georg Cantor y Gottlob Frege, con el fin de permitir a los matemáticos trabajar con conjuntos infinitos coherentes.