Resumen.

Enunciamos los axiomas de intencionalidad, del conjunto vacío, del conjunto par no
ordenado, de la unión, del conjunto potencia y el esquema axiomático de separación.
A partir de tales axiomas justificamos las definiciones de las nociones y
operaciones usuales sobre el universo de conjuntos y estudiamos las propiedades
de tales conceptos y operaciones, el axioma de elección, el del conjunto infinito, el
de regularidad o fundamentación y el esquema axiomático de reemplazo, los
presentamos a medida que sean necesarios para justificar la existencia de ciertos
conjuntos y para poder establecer algunas nociones y construcciones, que sin ellos
serían imposibles para su formalización

1. Introducción.

La teoría de conjuntos, en un primer momento, se ocupa del estudio de los

conjuntos que se obtienen a partir de los axiomas, considerados como objetos
amorfos, i.e., desprovistos de cualquier tipo de estructura, mediante diferentes
tipos de morfismos, e.g., relaciones, funciones parciales y funciones.
Posteriormente, para profundizar en el estudio de la naturaleza de los conjuntos,
se les dota de diversas estructuras, siendo las fundamentales las de tipo
relacional, algebraico, topológico y analítico y se les compara mediante los
morfismos adecuados, i.e., aquellos que preservan las estructuras involucradas.

Una vez estudiadas las operaciones conjuntistas básicas, pasamos a considerar las
relaciones y las funciones, que usaremos para establecer los conceptos de producto
de una familia de conjuntos, igualador de un par de aplicaciones con el mismo
dominio y codominio, producto fibrado de un par de aplicaciones con un codominio
común y limite proyectivo de un sistema proyectivo de conjuntos; así como los
conceptos duales de coproducto de una familia de conjuntos, coigualador de un par
de aplicaciones con el mismo dominio y codominio, suma amalgamada de un par de
aplicaciones con un dominio común y limite inductivo de un sistema inductivo de
conjuntos. Siguiendo los principios categoriales, demostramos la existencia del
exponencial de dos conjuntos, caracterizado por una cierta propiedad universal.