Conjuntos, Teoría de los - pág.8

Fue el matemático Georg Cantor quien desarrolló por vez primera una teoría de los conjuntos completa.
El interés por este campo de la ciencia se suscitó a causa de que diversas ramas de ella empleaban con profusión el concepto de conjunto. Por ello se impulsó la creación de una teoría que explicara y a la vez profundizara en dicho concepto. La necesidad de aclarar conceptos ya existentes llevó a la consecución de disciplinas tales como la lógica o la propia teoría de conjuntos que se incorporaron al esquema de las diferentes ramas matemáticas.
Cantor estableció la definición de conjunto tras considerar varios enunciados: "Se entiende por conjunto una agrupación en un todo de objetos muy distintos de nuestra intuición o de nuestro pensamiento." A tal enunciado se le han ido poniendo objeciones, puesto que el punto de vista intuitivo que aporta entraña el peligro de que se consideren como conjuntos simples colecciones de elementos no relacionados por propiedades matemáticas. A consecuencia de estos problemas se precisó una axiomatización de la teoría de conjuntos que permitiese definir no sólo los elementos que integran los conjuntos, sino también las relaciones entre aquéllos. Las reglas delimitadas por las definiciones axiomáticas permitieron conservar los resultados que obtuvo Cantor sin contradecirlos.