Teora de conjuntos de Morse-Kelley

La teora de conjuntos de Morse-Kelley (MK) es una teora axiomtica de conjuntos. Es similar a la teora de Von Neumann-Bernays-Gdel, pero MK es ms potente y no son equivalentes.
ndice
[ocultar]

1 Axiomas

o o o o

1.1 Ontologa y notacin 1.2 Axiomas generales 1.3 Esquema de formacin de clases 1.4 Axiomas adicionales

2 Diferencias con la teora de Neumann-Bernays-Gdel 3 Vase tambin 4 Referencias

Axiomas [editar]
Ontologa y notacin [editar]
Al igual que en NBG, los axiomas de MK se refieren a clases y pertenencia, definiendo conjunto como las clases que pertencen a alguna otra clase. Toda la notacin de NBG puede adoptarse aqu.

Axiomas generales [editar]

Son idnticos a los axiomas generales de NBG. Extensionalidad. Dos clases son iguales si y slo si tienen los mismos elementos:

Par. Dados dos conjuntos existe un tercero que los contiene slo a ambos:

Unin. Dados dos conjuntos, existe un tercero que contiene a los elementos de ambos:

Conjunto vaco. Existe un conjunto sin elementos:

Reemplazo. Dado un conjunto x y una clase unvoca A, existe el conjunto dado por la imagen de x por A:

De este axioma se demuestra un teorema ms intuitivo:

Si F:AB es una funcin suprayectiva y A es un conjunto, entonces B tambin lo es.

Esquema de formacin de clases [editar]

La principal diferencia entre MK y NBG es que en MK adoptamos un esquema de formacin de clases sin restringirnos a frmulas normales: Esquema de formacin de clases. Para toda frmula (xi) donde Y no est libre,

es un axioma de MK.

Axiomas adicionales [editar]

De manera idntica a NBG, adems de estos axiomas iniciales, es necesaria una serie de axiomas para que la teora de conjuntos contenga los aspectos estndar que se usan en la matemtica. Partes. Dado un conjunto, existe otro formado por la totalidad de los subconjuntos del primero:

Infinito. Existe un conjunto biyectable con un subconjunto propio de s mismo:1

Otro enunciado equivalente a este que tambin suele adoptarse es el que asegura la existencia de conjuntos inductivos:

Regularidad. Toda clase no vaca contiene una clase disjunta consigo misma:

El axioma de eleccin puede aadirse tambin a la lista: Eleccin. Dado un conjunto, existe una funcin de eleccin sobre sus elementos no vacos: