1847: Bolzano creo su propia definición sobre conjunto.

Bolzano defendió el concepto de conjunto infinito. En esa época muchos creían

que no podían existir los conjuntos infinitos. Bolzano dio ejemplos para demostrar
que, a diferencia de los conjuntos finitos, los elementos de un conjunto infinito
podrían ponerse en correspondencia uno a uno con elementos de uno de sus
subconjuntos propios. Esta idea eventualmente llegó a usarse en la definición de
un conjunto finito.

1867-1871:Cantor publicó artículo sobre teorías de números y

conjuntos
Fue con el trabajo de Cantor no obstante, que la teoría de conjuntos se
estableció sobre una base matemática adecuada. Los primeros trabajos de
Cantor fueron en teoría de números y publicó una serie de artículos sobre este
tema entre 1867 y 1871. Estos, aunque de gran calidad, no dan indicios de
haber sido escritos por un hombre que estaba a punto de cambiar el curso de
las matemáticas.

1872:Cantor conoció a Dedekind quien influyo en sus ideas sobre la

teoría de conjuntos.
En 1872 Cantor viajó a Suiza y allí conoció a Dedekind.Se hicieron amigos y se cree
que Dedekind influyó en las ideas de Cantor.

1874: Apareció su primer trabajo sobe la teoría de conjuntos y

marca el inicio de esta teoría
Cantor publicó un artículo en el Crelle's Journal ,el cual marca el nacimiento de
la teoría de conjuntos.

1880:Cantor introdujo los símbolos de infinitud.

En teoría de conjuntos, número transfinito es el término original que
el matemático alemán Georg Cantor introdujo para referirse a
los ordinales infinitos, que son mayores que cualquier número natural.

 PRIMER NÚMERO TRANSFINITO: ω (omega): es el menor ordinal transfinito.

Sus elementos son los números naturales, tal y como son construidos
en teoría de conjuntos, y representa el tipo de orden de estos.

1883:Cantor introdujo el principio de correspondencia biunívoco

entre dos conjuntos y definio y conjunto.
Una correspondencia biunívoca, o correspondencia uno-a-uno, es simplemente
una correspondencia unívoca cuya correspondencia inversa también es
unívoca. En otras palabras, la relación biunívoca se establece cuando para
cada elemento del primer conjunto que se corresponde con solo un elemento
del segundo conjunto, tal elemento del segundo conjunto se corresponde con
solo aquel elemento del primer conjunto.

 EJEMPLO: Se puede establecer una correspondencia biunívoca entre cada

número natural con su cuadrado.

1891:Cantor demostro q al conjunto de los números reales no es

numerable.
El hecho de que no sea numerable significa que no se puede poner en
correspondencia biunívoca con los números naturales

1895:Cantor publicó su doble tratado final sobre la teoría de

conjuntos.
Contiene una introducción que bien parece un libro moderno de la teoría de
conjuntos y define el concepto de conjunto, subconjunto, etc.

1897: la primera paradoja en teoría de conjuntos apareció y

fue publicado por Cesare Burali-Forti.
Algunos de los efectos de esta paradoja se perdieron ya que Burali-Forti
consideró la definición de un conjunto bien ordenado de forma errónea. Sin
embargo, incluso cuando la definición se corrigió, la paradoja se mantuvo.

1903: B Russell demostró que la teoria de conjuntos de cantor era

inconsistente mediante su paradoja.
La paradoja de Russell o paradoja del barbero, acreditada a Bertrand Russell,
demuestra que la teoría original de conjuntos formulada por Cantor y Frege es
contradictoria.
La paradoja consiste en que si no forma parte de sí mismo, pertenece al tipo de
conjuntos que no forman parte de sí mismos y por lo tanto forma parte de sí
mismo. Es decir, formará parte de sí mismo sólo si no forma parte de sí mismo

1908: Zermelo da como solucion la definición axiomática de la

teoría de conjuntos.
La teor´ıa de conjuntos de Zermelo tiene infinitos axiomas. Ello se debe a que el axioma
siguiente no es un axioma, sino un esquema axiom´atico, es decir, una regla que determina
infinitas f´ormulas que la teor´ıa acepta como axiomas

1923: Thoralf Skolem,Von Newman y Fraenkel sentaron las bases

para la teoría de conjuntos actual
1940:Godel demostró que el axioma de elección no se puede
demostrar con los otros axiomas de la teoria de conjuntos.
Es un axioma que postula que para cada familia de conjuntos no vacíos, existe
otro conjunto que contiene un elemento de cada uno de aquellos. De manera
informal, afirma que dada una colección de «cajas» con objetos dentro de ellas,
es posible elegir un objeto de cada caja.

1963:Paul Cohen demostró q el axioma si es independiente.

La hipótesis del continuo fue uno de los 23 problemas de Hilbert propuestos en
1900. Las contribuciones de Kurt Gödel y Paul Cohen demostraron que es de
hecho independiente de los axiomas de Zermelo-Fraenkel, el conjunto de
axiomas estándar en teoría de conjuntos.

DEFINICION DE TEORIA DE CONJUNTOS:

El concepto de conjunto es intuitivo y se podría definir como una "agrupación
bien definida de objetos no repetidos y no ordenados"; Un conjunto está bien
definido si se sabe si un determinado elemento pertenece o no al conjunto.
Se entiende por conjunto a la agrupación en un todo de objetos bien
diferenciados de nuestra intuición o nuestro pensamiento.