Axiomas de Zermelo-Fraenkel

24/11/2015
AxiomasdeZermeloFraenkelWikipedia,laenciclopedialibre
AxiomasdeZermeloFraenkel
DeWikipedia,laenciclopedialibre
Enlgicaymatemticas,losaxiomas de ZermeloFraenkel, formulados por Ernst Zermelo y Adolf Fraenkel, son un sistema axiomtico
concebidoparaformularlateoradeconjuntos.NormalmenteseabreviancomoZFoensuformamscomn,complementadosporelaxioma
deeleccin(axiomofchoice),comoZFC.
DuranteelsigloXIX algunos matemticos trataron de llevar a cabo un proceso de formalizacin de la matemtica a partir de la teora de
conjuntos.GottlobFregeintentculminaresteprocesocreandounaaxiomticadelateoradeconjuntos.Lamentablemente,BertrandRussell
descubri en 1901 una contradiccin, la llamada paradoja de Russell. Consecuentemente, a principios del siglo XX se realizaron varios
intentosalternativosyhoyendaZFCsehaconvertidoenelestndardelasteorasaxiomticasdeconjuntos.
ndice
1 Introduccin
2 Sobreelconceptodeconjunto
3 Lanecesidaddeaxiomatizarlateoradeconjuntos
4 LosaxiomasdeZermeloFraenkel
4.1 SobrelosaxiomasyalgunasdefinicionesenZF
4.1.1 Elaxiomadeextensionalidad
4.1.2 Elaxiomadelconjuntovaco
4.1.3 Elaxiomadepares
4.1.4 Elaxiomadeunin
4.1.5 Elaxiomadelconjuntopotencia
4.1.6 Elesquemaaxiomticodeespecificacin
https://es.wikipedia.org/wiki/Axiomas_de_ZermeloFraenkel
1/17
24/11/2015
4.1.6 Elesquemaaxiomticodeespecificacin
4.1.7 Esquemaaxiomticodereemplazo
4.1.8 Axiomadeinfinitud
4.1.9 Axiomaderegularidadodefundacin
4.1.10 Axiomadeeleccin
5 OtraspropiedadesdeZFC
6 Vasetambin
7 Bibliografa
Introduccin
Lateoradeconjuntos es una rama de la matemtica relativamente moderna cuyo propsito es estudiar unas entidades llamadas conjuntos,
aunqueotrapartedeestateoraesreconocidacomolosfundamentosmismosdelasmatemticas.Lateoradeconjuntosfuedesarrolladaporel
matemticoalemnGeorgCantorafinalesdelsigloXIXapartirdeciertasconclusioneshechasporlmismoalreflexionarenunosdetallesde
lasseriestrigonomtricasdeFourier.LateoradeconjuntosfueexpuestaporCantorenunaseriedeartculosylibros,deloscualespueden
destacarsesusBeitrgezurBegrndungdertransfinitenMengenlehre.
El propsito de Cantor era proporcionar un mtodo para lidiar con asuntos relacionados al infinito actual, un concepto que fue rehuido y
rechazadoporalgunosmatemticos(Pitgoras,Gauss,Kronecker)porconsiderarlosinsignificado.CiertamenteCantortuvoxito,sibiensu
teoradebaserprecisadaysometidaaunsistemaaxiomtico,unproyectoqueluegofuellevadoacaboprincipalmenteporFrege,Russell,
Zermelo,AlbertSkolemyAdolfFraenkel.
Cantorpartidelaconviccinplatonistadequeeraposiblecomprimirunacoleccinoconjuntodeobjetosyconsiderarlacomountodo(o
mejordicho,comounasolaentidad),yalparecer,aceptandoimplcitamentelossupuestossiguientes:
2/17
24/11/2015
(i) Un conjunto es una reunin de objetos que cumplen con cierta propiedad
(llamadosloselementosdeeseconjunto)yque,portanto,quedadefinidopor
talpropiedad.
(ii)Unconjuntoesunasolaentidadmatemtica,demodoquepuedeasuvez
sercontenidoporotroconjunto.
(iii) Dos conjuntos que tengan los mismos elementos son iguales. As, puede
decirsequeunconjuntoestdeterminadoporsuselementos.
Deestemodo,Cantorpudodesarrollarsuteoradeunaformaqueenaquelentoncesparecalosuficientementesatisfactoria.Sinembargo,el
sistema de Cantor era tan permisivo que dio lugar a resultados contradictorios. Gottlob Frege, que ide un sistema ms preciso, intent
fundamentaradecuadamentelateoradeconjuntos(yportantotodaslasmatemticas),pero,parasudesaliento,BertrandRussell descubri
unaparadojaenlateoradeaqul(hoyllamadaparadojadeRussell),conloqueelsistemadeFregeparecadesbaratarse.Aprincipiosdel
siglo XX, fue el matemtico alemn Ernst Zermelo quien puso la teora de conjuntos sobre una base aceptable reducindola a un sistema
axiomtico ms restringido que no permita la obtencin de la Paradoja de Russell. Las ideas de Zermelo fueron despus precisadas por
ThoralfSkolemyAbrahamFraenkel,resultandodeellolaprimerateoraaxiomticadeconjuntos,conocidacomoteoradeZermeloFraenkel,
aunque sera ms adecuada llamarla teora de ZermeloFraenkelSkolem. Otra teora de conjuntos que evitaba las paradojas de la teora
cantoriana fue desarrollada despus, principalmente, por John von Neumann, Paul Bernays y Kurt Gdel. Esta ltima es hoy llamada,
naturalmente,lateoradevonNeumannBernaysGdel.
Sobreelconceptodeconjunto
3/17
24/11/2015
El concepto de conjunto se encuentra a un nivel tan elemental que no es posible dar una definicin precisa del mismo. Palabras como
coleccin, reunin, agrupacin, y algunas otras de significado similar, se usan en un intento de describir a los conjuntos, pero no pueden
constituirunadefinicin,puessonsimplementeunreemplazodelapalabraconjunto.Contodo,enlateoraintuitivadeconjuntosloanterior
esadmisible,yseaceptalaexistenciadeununiversoodominiodeobjetosapartirdelcualseconstruyenlosconjuntos,ascomotambin
permitetratarconjuntoscomounaentidadsingular.Noesdeimportancialanaturalezadelosobjetos,sinoelcomportamientodeunconjunto
comoentidadmatemtica.
Delodichoanteriormente,parecenaturalintroducirunarelacindidicadepertenencia.Elsmbolousualpararepresentarestarelacinesel
smbolo , una versin de la letra griega (psilon). Los segundos argumentos de la relacin son llamados conjuntos, y los primeros
argumentossonllamadoselementos.As,silafrmula
secumple,sediceque esunelementodelconjunto
de pertenecenalmismodominio.
Lanegacinde
seescribe
.Siaceptamosquetodoesunconjunto,entonceslosprimerosysegundosargumentos
Bajoestossupuestospuededesarrollarseunpocolateoradeconjuntos.Sinembargo,laconcepcinintuitivadeconjuntosnopermitellegar
tan lejos como pudiera desearse, pues llega un momento en que, como sucede en otras reas de las matemticas, la intuicin es de poca o
ningunaayuda(porejemplocomopasaalhablardelahiptesisdelcontinuo,deespaciosdedimensinmayorquetres,etc.).Esenmomentos
comoeseenquesehaceevidentelanecesidaddeaxiomatizaryformalizarlateoradeconjuntosparapoderllegararesultadosmsprofundos.
Estoimplicarenunciaraunadefinicinintuitivadeconjunto,yensulugarpostularunaseriedeprincipiosquedeterminenelcomportamiento
deste,detalformaquelosresultadosobtenidosnosonyaconsecuenciaderazonamientosintuitivosflojos,sinoqueseobtienenapartirde
talesprincipios.
Lanecesidaddeaxiomatizarlateoradeconjuntos
En la teora de Cantor, es posible formar un conjunto a partir de una propiedad determinada que deben cumplir sus elementos. En otras
palabras,dadacualquierpropiedad ,existeunconjunto cuyoselementossonprecisamentelosobjetosqueverifican
.Ensmbolos,
esteconjuntoserepresentapor
4/17
24/11/2015
As,porejemplo,considerandolafrmula
,seobtieneelconjunto
que claramente lo contiene todo. A este conjunto no se le puede aplicar alguno de los resultados de Cantor, ya que esto conduce a ciertas
paradojas.
Como otro ejemplo ms claro de conjuntos contradictorios debido a su 'gran tamao', est el que da lugar a la paradoja de Russell.
Consideremoselconjunto cuyoselementossonaquellosconjuntosquenosepertenecenasmismos.Estoes,elconjunto
LaparadojadeRussellsurgealpreguntarse:es unelementodesmismo?Siloes,esdecir,si
,entonces nosatisfacelacondicin
,loqueesunacontradiccin.Si
,entonces satisfacelacondicinparaserunodesuselementos,yas
,denuevouna
contradiccin.As, nopuedeniserunelementodesmismoninoserlo.
En un intento de eliminar esta paradoja, Russell y Whitehead desarrollaron la teora de tipos y la expusieron en un libro titulado Principia
Mathematica. Si bien esta teora eliminaba la paradoja de Russell, resultaba demasiado complicada como para poseer inters. La teora de
conjuntosdeZermelo,muchomssimpleanivellgico,lograbaeliminartantolaparadojadeRussellcomotodaslasdemsquesurganenel
sistemadeCantoryeneldeFrege.
LosaxiomasdeZermeloFraenkel
LateoradeconjuntosdeZermeloFraenkeltomacomoprimitivoslosconceptosdeconjuntoydepertenenciayconstadelosdiezaxiomas
siguientes:
1.Axiomadeextensionalidad.Dosconjuntos e soniguales(loqueserepresentapor
elementos.Msformalmente,yenlasimbologausual,
)nicamentesicontienenlosmismos
5/17
24/11/2015
2.Axiomadelconjuntovaco.Existeunconjunto(representadopor)sinelementos.Estoes,
3.Axiomadepares.Dadoscualesquieraconjuntos e ,existeotroconjunto,representadopor
.Estoes,
,cuyoselementossonnicamente e
4.Axiomadelaunin. Dada cualquier coleccin de conjuntos , existe un conjunto, representado por

contienetodosloselementosdecadaconjuntode .Estoes,
5. Axioma del conjunto potencia Para cualquier conjunto existe otro conjunto, representado por
subconjuntosde .Ensmbolos,
y llamado unin de , que
, que contiene todos los
6. Esquema axiomtico de especificacin. Sea

una frmula de un lenguaje de primer orden que contenga una variable libre .
Entonces,paracualquierconjunto existeunconjunto cuyoselementossonaquelloselementos de quecumplen
.Formalmente,
6/17
24/11/2015
7. Esquema axiomtico de reemplazo. Si

es una sentencia tal que para cualquier elemento de un conjunto el conjunto
existe,entoncesexisteunafuncinf:xytalquef(a)=y.Formalmente,si
entonces
8.Axiomadeinfinitud.Existeunconjunto talque
ytalquesi
,entonces
.Ensmbolos,
9.Axiomaderegularidad.Paratodoconjuntonovaco existeunconjunto
talque
.Estoes,entrminosformales,
10.LemadeZorn.Todoconjuntoinductivonovacotieneelementomaximal
EnunprincipioZermelotratdeprobarel"LemadeZorn"apartirdelosotrosnueveaxiomas,peronoloconsigui,adems,posteriormente
losTeoremasdeIncompletituddeGdelprobaronqueelLemadeZornnoerademostrableapartirdelosrestantesaxiomas.Porlotantose
aadicomodcimoaxiomadelateora.
7/17
24/11/2015
Esequivalentea
Axiomadeeleccin.Dadaunafamiliadeconjuntosnovacospodemoscogerunelementodecadaconjunto.Esteaxiomapuedeexpresarsede
maneraequivalentea,dadounconjuntocualquierax,existeunafuncinfqueeligeunelementodecadaconjuntonovacodex:
SobrelosaxiomasyalgunasdefinicionesenZF
Elaxiomadeextensionalidad
Elaxiomadeextensionalidaddicequedosconjuntossonigualessiysolositienenlosmismoselementos.Enotraspalabras,afirmaqueun
conjuntoestdeterminadoporsuextensin(todossuselementos).Unarelacinmsgeneralquelaigualdadeslainclusin( ),quesedefine
comosigue:
Adiferenciadelsignodelaigualdad,elsmbolo nofiguradentrodellenguajedeprimerordenconelqueseconstruyelateoraZF,puesla
definicinantesdadadeberaenesecasoserintroducidacomounaxiomaqueestablezcaelempleode ,cosaquenosehahechoaqu.Ensu
lugar,lasimbologa
seempleasimplementepararepresentarlafrmula
dellenguajedelateoradeconjuntos.
Envistadelaxiomadeextensionalidadydeladefinicinanterior,resultaquepuedeprobarsequedosconjuntos e sonigualessipuede
probarseque
e
.
Elaxiomadelconjuntovaco
Elaxiomadelconjuntovaconosdaunconjuntosinelementos.Esteaxiomasepresentusandoelsmbolo .Estoestjustificado,puesel
axiomadeextensionalidadnosdicequeesteconjuntoesnico.
8/17
24/11/2015
Demostracin
Elaxiomadelconjuntovacopuedededucirsedeotroaxiomamsdbil,queafirmalaexistenciadeunconjunto,digamos ,ydelesquemade
especificacinconlafrmula
aplicadaaesteconjunto .As,elconjuntovacoeselconjunto
coneltrmino
unadescripcinimpropia.
Elaxiomadepares
ELaxiomadepares,unaxiomadelateoradeZermeloFraenkel,estableceque,dadoscualesquieradosconjuntos e ,existeotroconjunto,
representadopor
,cuyoselementossonnicamente e .Estoes,
(3)
Delaxiomadeparessetiene,apartirdedosconjuntos e ,elconjunto{
}.Esteconjuntosellamapardesordenadode e .Sise
aplica el axioma de pares a un solo conjunto , se obtiene el par {
} cuyo nico elemento es, obviamente, , y por ello puede
representarsecomo
.Aesteltimoconjuntopuedeaplicrseledenuevoelaxiomadepares,dandolugaralconjunto{{ }},conjuntoal
cual puede aplicarse tambin el axioma de pares, obtenindose el conjunto {{{ }}}, y as sucesivamente. Este proceso de construccin de
conjuntospuedeaplicarsealnicoconjuntodadoyconocidoexplcitamente, ,obtenindoseunaserieinfinitadeconjuntos
Elaxiomadeunin
Si esunacoleccindeconjuntos,entonceslaunin
contieneaquellosysoloaquelloselementosqueestnenalgnconjuntode .Si
,unconjuntocon elementos,entoncesescomnescribir
9/17
24/11/2015
pararepresentarlaunindelosconjuntosde .Esfcilverque
de modo que el axioma de unin y el axioma de pares garantizan la existencia del conjunto
para
cualesquieraconjuntos e ,unhechoquenopuedededucirsesimplementedelesquemadeespecificacinjuntoconlosaxiomasrestantes.A
diferenciadelaunin,lainterseccindeconjuntosesdeducibleapartirdelaxiomadeparesyelesquemadeespecificacin.Efectivamente,
puessedefineelconjunto
mediante
yportanto
existe.Msgeneral,sedefineelconjunto
Elaxiomadelconjuntopotencia
Elaxiomadelconjuntopotencianosdaunconjuntoquecontieneatodoslossubconjuntosdecualquierconjunto.Portanto,
Puestoque
paracualquieraqueseaelconjunto ,puedehacerseusodelesquemadeespecificacinparaobtenerelconjunto
10/17
24/11/2015
Si esotroconjunto,similarmenteseobtienealconjunto
comounsubconjuntode
.Luego
demaneraqueelaxiomadeparespuedededucirsedelaxiomadelconjuntopotencia,elesquemadeespecificacinyelaxiomadeunin.As
pues,notodoslosaxiomasdeZFsonindependientes.
Elesquemaaxiomticodeespecificacin
El esquema de especificacin resulta ser una versin limitada o dbil del axioma de Frege. Para este ltimo, era posible tener un conjunto
cuyoselementossatisfacanciertapropiedad.ConelloFregegarantizabademasiadoydabalugarensusistemaaparadojascomoladeRussell,
entreotras.Porotraparte,elesquemadeespecificacinvadeacuerdoconunadoctrinadereduccindeltamao.Permiteobtenerconjuntosa
partirdeotros,ycuyotamaoesmenorqueeldeaquellosdelosquehansidoobtenidos.Estoimplicaque,necesariamente,contemoscon
conjuntospreviamentedados.Portanto,nuncaesposiblepensarenlafrmula
,pueselconjunto nopuedeserobtenidosinmsque
smismo.LaparadojadeRussellsurgeprecisamentedeconsiderarqueconjuntosmuygrandespuedenserobtenidosdeformagratuitasinms
queespecificarcualessonsuselementos.Otrasparadojasquetienenqueverconelgrantamaodelosconjuntos,quedanexcluidasdeZF
mediante el esquema de especificacin. Ahora bien, el calificativo de esquema se debe a que no es un nico axioma, sino que este afirma
(metamatemticamente)quecualquierexpresindelaforma
donde
esunafrmuladellenguajedelateoradeconjuntosesunaxiomadeZF.As,siconsideramoslaexistenciadeunconjunto
comounaxioma,elconjuntovacoseratambinunaxiomaresultantedeaplicarelesquemadeespecificacinalconjunto conlafrmula
.
ElesquemadeespecificacinnoesindependienteenZF,puessededucedelesquemadereemplazo,introducidoporFraenkelySkolemel
mismoaoydeformaindependiente.
Esquemaaxiomticodereemplazo
11/17
24/11/2015
Elesquemaaxiomticodereemplazodicequesi esunconjuntoy es una frmula con dos variables libres e , tales que para cada
existeunnico talque
secumple,entoncesexisteunconjunto talque
siysolosi
.
Paramostrarcomoelesquemadeespecificacinsededucedelesquemadereemplazo,seconsideralafrmula
donde cualquierelementodeunconjunto .Si

,entoncesciertamenteexisteunnico talque
porloquelahiptesisdelesquemadereemplazosecumple,conloqueexisteunconjunto talque
(pueses mismo),
loqueeslgicamenteequivalenteaqueexisteunconjunto talque
La formulacin que se ha dado del axioma de reemplazo fue introducida por primera vez por Fraenkel [1929], y apareci tambin en los
trabajos de Church [1942]. Una forma ms dbil de este esquema axiomtico a parece en los trabajos de Tarski [1948]. La formulacin
original,dadaporFraenkel[1921/22y1927]ySkolem[1922/23y1929],esenesenciacomosigue:
Paratodoconjunto ycualquierfuncin definidaen ,existeunconjunto talque
paratodo
El esquema de reemplazo fue introducido por Fraenkel y Skolem con la finalidad de extender la fuerza del esquema de especificacin, as
comotambinposibilitarelconteodenmerosordinalesmsalldeloquepermiteelaxiomadeinfinitud.
Axiomadeinfinitud
12/17
24/11/2015
El axioma de infinitud, introducido (aunque no en la forma en que se ha presentado aqu) por Zermelo 1908, permite la obtencin de los
nmerosnaturalescomoconjuntosdentrodeZF.Entrminosgenerales,esteaxiomadaunconjuntoinfinitosegnDedekind,puesgarantizala
existenciadeunconjunto sobreelcualexistealmenosunafuncin
inyectivaynosobreyectiva(queclaramentenoexiste
paraunconjuntofinito).Esdecir,lafuncin estalque
y
,porloqueelrangode esunsubconjuntopropiodesu
dominio, .Pero,enesecaso,laaplicacin
dadapor
conjunto
,esbiyectiva.Laconclusinesqueexisteunabiyeccinentre
cuyaexistenciagarantizaelaxiomadeinfinitud,cumple:
yunodesussubconjuntospropios.Ahorabien,el
Peroesposiblequesubconjuntosde cumplanestomismo(unsubconjuntoasdeXsedenominaconjuntoinductivo).Si eselconjunto

detodoslossubconjuntosinductivosde , esnovaco,pues
.As,puedeformarselainterseccin
detodoslosconjuntosinductivos.Esteconjuntoesclaramenteinductivo,ysuselementosson
mismosquepuedenserconsideradoslosnmerosnaturalesenZF,ypuedellamarse
.Seobservaque,deestemodo,unnmero
naturalesunconjuntoquecontieneatodoslosnmerosnaturalesanterioresal.Elconjuntodenmerosnaturalesquedadeestaformabien
13/17
24/11/2015
ordenadoporlainclusin.Cualquiernmeronaturaldelaforma
paraalgn
sellamasucesorde ,yserepresentapor o
por
. Mediante esta definicin de pueden probarse los axiomas de Peano, con lo que en ZF estos se convierten en teoremas (ms
exactamente,cuatroteoremasyunmetateorema)sencillos:
implica
LaformaenquesehapresentadoelaxiomadeinfinitudsedebeaFraenkel,ypermitelaconstruccindelosnmerosnaturalescomonmeros
ordinalesenelsentidodevonNeumann.EnestaformafueutilizadoporR.M.RobinsonensuThethoryofclasses[1937](endondepresenta
unamodificacindelsistemadevonNeumann),ascomotambinporBernays[1942].
Zermelointrodujoelaxiomadeinfinitud[1908]deformaesencialmentesimilaralasiguiente:
Existeunconjunto
talque
(i)
(ii)
As,puedeobtenerseelconjuntodenmerosnaturalescuyoselementosson
Elordenqueseestableceentreestoselementoseseldelainclusin.
14/17
24/11/2015
EsteaxiomadeinfinituddeZermelonotienelasventajasquetieneelaxiomadeinfinituddeFraenkel.
Axiomaderegularidadodefundacin
ElaxiomaderegularidaddadoaqusedebeaZermelo[1930],sibienvonNeumannpresentunoequivalente[1929],aunquemscomplicado.
Esteaxiomaprohbelaexistenciadeconjuntosextraos,talescomoconjuntosquecumplan:xxounpardeconjuntosconxyyxas
comotambinlaexistenciadecadenasdescendientesinfinitas:
Existenteorasdeconjuntosdondeseexcluyeesteaxioma.Lateoraqueresultadeaadiruncontrariodelaxiomaderegularidadseconoce
comoteoradeconjuntosnobienfundados.
Axiomadeeleccin
AdiferenciadelosaxiomasdeZF,elaxiomadeeleccinesunaxiomanoconstructivo,enelsentidodequenodeterminaunconjuntonicoa
partir de su informacin. Adems, como puede observarse, carece de la obviedad que (aunque la complejidad notacional de estos haga en
algunoscasospensarlocontrario)caracterizaatodoslosotrosaxiomas.Estollevaalgunosmatemticosalintentodeprobarelaxiomade
eleccinapartirdelosdemsaxiomas,cosaenloquetodosellosfracasaron.Estosintentosvanosdeprobarelaxiomadeeleccindespusde
grandesesfuerzos,yciertaspeculiaridadesdelmismo,algunosmatemticospensabanyaenlaposibleindependenciadelaxiomadeeleccin
respectodelosaxiomasdeZF,aunquenosabanenquedireccinseencontrabalapruebadeello.Gdelprob[1930/1940]queelaxiomade
eleccineraconsistenteconlosaxiomasdeZF,porloquepodaemplearsejuntoconellossintemordeobtenercontradicciones.
ElaxiomadeeleccinfuepresentadoporRussellen1906demaneraesencialmentesimilaralasiguiente:
Paratodoconjunto
novacodeconjuntosdisjuntostalque
,elproductocartesianode
esnovaco.
RussellllamaesteprincipioAxiomamultiplicativo.ElnombredeAxiomadeeleccin(Auswahlaxiom)fuedadoporZermeloalprincipio
msgeneralqueeldeRussell:
Paratodoconjuntonovaco
talque
,existeunafuncin cuyosargumentos
sonelementosde
Elnombredelaxiomasedebealhechodequelafuncin eligeunelementodecadaelemento(conjunto) de
,talque
15/17
24/11/2015
Zermelointrodujoelaxiomadeeleccinparaprobarelteoremadebuenaordenacinqueafirmaquetodoconjuntopuedeserbienordenado.
MostrtambinqueellemadeKuratowskiZornsededucedelaxiomadeeleccin.Enrealidad,elaxiomadeeleccinesequivalentetantoal
teoremadebuenaordenacincomoallemadeKuratowskiZorn(lamayoradelasvecessimplementellamadoLemadeZorn).Lasiguiente
listaenumeraalgunosprincipiosequivalentesenZFalaxiomadeeleccin:
Teoremadebuenaordenacin.
LemadeKuratowskiZorn.
Leydetricotomadecardinales.
PrincipiodelmaximaldeHausdorff.
LemadeTeichmlerTukey.
Wacaw Sierpiski prob en 1947 que la hiptesis del continuo (un principio ad hoc que debe ser aceptado como axioma de la teora de
conjuntos)implicaelaxiomadeeleccin,sibienlorecproconoescierto.Otroprincipioqueimplicaelaxiomadeeleccineselaxiomade
conjuntosinaccesiblesdeTarski[1938/1939].
ElsistemaaxiomticodeZFCadmitelasdemostracionesporreduccinalabsurdocomomtodoparademostrarteoremas.Dadoun(presunto)
conjuntonosbastaconllegaraunacontradiccinconelrestodelateoradespusdehabersupuestosuexistenciaparademostrarquenoexiste
talconjunto.unejemplotpicoeslanoexistenciadelconjuntodetodoslosconjuntos.
DeexistiresteconjuntoVpodramosdefinirelconjunto
locualVnoesunconjunto.
,loqueirremisiblementellevaalaParadojadeRussell,por
Procedimientoigualnosllevarademostrarlanoexistenciadeconjuntoconjugado(conjuntodeloselementosnopertenecientesalconjunto)
dadounconjuntocualquiera,yaquedeserasexistirasuunin,porelaxiomadelaunin,yestaseraigualaV.
OtraspropiedadesdeZFC
KurtGdelprobquelaconsistencialgicadelosaxiomasdeZFCesindemostrable.Alosumosepuedendemostrarafirmacionescomosi
ZFCesconsistente,entonces"T"tambinloes,esdecirlaconsistenciarelativa.Encuantoalacompletitud,elpropioGdelensusteoremas
de incompletitud demostr que si un sistema axiomtico es lo suficientemente fuerte como para construir una aritmtica recursiva, dicho
sistemanopuedesercompletoyconsistente.
Vasetambin
16/17
24/11/2015
Axioma
TeoradeconjuntosdeMorseKelley
TeoradeconjuntosdeVonNeumannBernaysGdel
Lenguajeformal
Lgicamatemtica
Nocinprimitiva
Sistemaformal
Teoradeconjuntos
Bibliografa
Cameron,PeterJ.Sets,LogicandCategories,Springer,NewYork.
Devlin,Keith.TheJoyofSets(FundamentalsofContemporarySetTheory),Springer,NewYork.
Halmos,PaulR.NaiveSetTheory,Springer,NewYork.
Henle,JamesM.AnOutlineofSetTheory,Springer,NewOyrk.
Suppes,Patrick.AxiomaticSettheory,VanNostrandCompany,NewYork.
Obtenidodehttps://es.wikipedia.org/w/index.php?title=Axiomas_de_ZermeloFraenkel&oldid=81063214
Categora: Teorasaxiomticasdeconjuntos
Estapginafuemodificadaporltimavezel29mar2015alas00:57.
EltextoestdisponiblebajolaLicenciaCreativeCommonsAtribucinCompartirIgual3.0podranseraplicablesclusulas
adicionales.Lanselostrminosdeusoparamsinformacin.
WikipediaesunamarcaregistradadelaFundacinWikimedia,Inc.,unaorganizacinsinnimodelucro.
17/17

Axiomas de Zermelo-Fraenkel

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Axiomas de Zermelo-Fraenkel

Uploaded by

Copyright:

Available Formats

24/11/2015

4.Axiomadelaunin. Dada cualquier coleccin de conjuntos , existe un conjunto, representado por

y llamado unin de , que

, que contiene todos los

6. Esquema axiomtico de especificacin. Sea

7. Esquema axiomtico de reemplazo. Si

donde cualquierelementodeunconjunto .Si

Peroesposiblequesubconjuntosde cumplanestomismo(unsubconjuntoasdeXsedenominaconjuntoinductivo).Si eselconjunto

You might also like