axiomas_conjuntos
-
Upload
kevin-ballester -
Category
Documents
-
view
217 -
download
0
description
Transcript of axiomas_conjuntos
-
Axioma de extensionalidad.
A B [x (x A x B) A = B]Axioma del conjunto vaco.
B x x / BAxioma de apareamiento.
u v B x [x B (x = u x = v)]Axioma de la unin.
A B x [x B b (b A x b)]Axioma del conjunto potencia.
A B x [x B x A]
Axiomas de especificacin. Por cada frmula (x) en la que x es libre ycuyo resto de variables libres figuran entre t1, . . . , tn, A, si B es una variabledistinta de x, t1, . . . , tn, A, la siguiente formula es un axioma
t1 . . . tn A B x [x B (x A (x))]Axioma de infinitud. Siendo a+ a {a}
A [ A a (a A a+ A)]
Axioma de eleccin.
A[A 6= f
(f : A
A a (a A f(a) a)
)]Axiomas de remplazamiento. Por cada frmula (x, y) en la que x e y sonlibres y cuyo resto de variables libres figuran entre t1, . . . , tn, A, si B, y1 e y2son variables distintas de x, y, t1, . . . , tn, A adems de distintas entre s, lasiguiente formula es un axioma
t1 . . . tn A [xy1y2 (x A (x, y1) (x, y2)) y1 = y2] B y [y B x (x A (x, y)]
Axioma de regularidad.
A [A 6= x (x A x A = )]
1