Axiomas de Zermelo-Fraenkel + Axioma de Elección.

Axioma1 (de Existencia o del conjunto vacío). Existe un conjunto

que no tiene elementos. Es decir,

9A; [8X (X 2
= A)] 9A; 8X (X 2
= A)

Axioma2 (de Extensionalidad). Sean X y Y conjuntos, X = Y se lee

X es igual a Y:
8X [8Y ([X = Y ] , [8Z [(Z 2 X) , (Z 2 Y )]])]

Axioma3 (Esquema de Comprensión o de Especi…cación). Sea P (x)

una proposición en x. Entonces para todo conjunto A, la colección de los ele-
mentos de A que cumplen P (x) (ie., tales que P (x) es verdad) es un conjunto.
8A [9S; (8X [(X 2 S) , ((X 2 A) ^ P (X))])] :

Es decir, para todo conjunto A, la colección de los elementos X de A que

cumplen P (X) es un conjunto.

Ejercicio. Para A conjunto, S es único y lo denotaremos por fx 2 A; P (x)g.

Axioma4 (del Par). 8X8Y; 9B; 8Z ((Z 2 B) , ([Z = X] _ [Z = Y ])) :
Es decir, para cada dos conjuntos X y Y , la colección que consta exactamente
de X y Y es un conjunto.
Ejercicio: Para cada par de conjuntos X y Y; B es único y lo denotaremos
por fX; Y g.

Axioma5 (de la Unión). 8S9U; 8X [(X 2 U ) , (9A; [(A 2 S) ^ (X 2 A)])] :

Es decir, para cada conjunto S; la colección de los conjuntos X que pertenecen
a algún A 2 S, es un conjunto.
Ejemplo: Sea S = fA1 = f0; 1g; A2 = f0; 2g; A3 = f3; 4; 5gg: Entonces
S = f0; 1; 2; 3; 4; 5g
Ejercicio: Para cada conjunto S, U es único y lo denotaremos por [S ó
[A2S A:

Axioma6 (del Conjunto Potencia). 8X (9S; [8A ((A 2 S) , (A X))]) :

Es decir, para cada conjunto X; la colección de subconjuntos de X es un
conjunto.
Ejercicio: para cada X; S es único y lo denotaremos por P(X) ó 2X :

Axioma7 (de Regularidad o de Fundación). 8A [(A 6= ;) ) [9u; [(u 2 A) ^ (8x (x 2 A) ) (x 2

= u))]]] :
Es decir, para cada conjunto no vacío A; existe un elemento u de A tal que
ningún elemento de A es elemento de u.

Teorema.
a) 8A [(A 6= ;) ) (A 2
= A)] :
b) La colección de todos los conjuntos NO forma un conjunto.

1
 Axioma8 (de in…nitud). 9X; [(; 2 X) ^ [8Y ((Y 2 X) ) (Y [ fY g 2 X))]] :
Es decir, Existe un conjunto X tal que
;2X y
; [ f;g = f;g 2 X y
f;g [ ff;gg = f;; f;gg 2 X y ....

NOTA: En clase utilizamos la notación:

0 := ;, 1 := f;g = f0g, 2 := f;; f;gg = f0; 1g; :::; n = f0; 1; :::; n 1g; :::
Es decir, el Axioma de In…nitud nos dice que existe un conjunto X que
contiene al conjunto de los números naturales.
Axioma9 (de Reemplazo). Sean X un conjunto y tenemos para i 2 X
un conjunto Ai :Entonces, la colección fAi ; i 2 Xg(ó fAi gi2X ) es un conjunto.

Equivalentemente:

Sean X un conjunto y A una colección de conjuntos tales que cumplen lo

siguiente:
i) A cada A 2 A le podemos asociar una única iA 2 X, y
ii) Si A; B 2 A son tales que iA = iB entonces A = B:
Entonces A es un conjunto.

Es decir, si ya tenemos a X que es un conjunto y tenemos una colección A

que cumple (i) y (ii), entonces A es un conjunto.
NOTA: aquí no tenemos todavía la noción de función, pero como ya habrán
sentido: X y A serán conjuntos biyectivos. S
Axioma de Elección. 8X [(; 2 = X) ) [9f : X ! X función; [8A [(A 2 X) ) (f (A) 2 A)]]]] :
En otras palabras: Dado un conjunto de conjuntos no vacíos podemos escoger
un elemento de cada conjunto.