Você está na página 1de 8

30/04/2017 TeoriadosconjuntosWikipdia,aenciclopdialivre

Teoriadosconjuntos
Origem:Wikipdia,aenciclopdialivre.

Teoriadosconjuntosoramodamatemticaqueestudaconjuntos,
quesocoleesdeelementos.Emboraqualquertipodeelementopossa
serreunidoemumconjunto,ateoriadosconjuntosaplicadana
maioriadasvezesaelementosquesorelevantesparaamatemtica.A
linguagemdateoriadosconjuntospodeserusadanasdefiniesde
quasetodososelementosmatemticos.

OestudomodernodateoriadosconjuntosfoiiniciadoporGeorgCantor
eRichardDedekindem1870.Apsadescobertadeparadoxosnateoria
ingnuadosconjuntos,numerosossistemasdeaxiomasforampropostos UmdiagramadeVennilustrandoa
noinciodosculoXX,dosquaisosaxiomasdeZermeloFraenkel, interseodedoisconjuntos.
comoaxiomadaescolha,soosmaisconhecidos.

ConceitosdeteoriadosconjuntossointegradosemtodocurrculodematemticanosEstadosUnidos.Fatos
elementaressobreconjuntoseassociaodeconjuntossofrequentementeensinadosnaescolaprimria,junto
comdiagramasdeVenn,diagramasdeEuler,easoperaeselementares,taiscomounioeinterseode
conjunto.Conceitosligeiramentemaisavanados,taiscomocardinalidadesoumapartepadrodocurrculo
dematemticadegraduao.

Ateoriadosconjuntoscomumenteempregadacomoumsistemaprecursordamatemtica,particularmentena
formadeteoriadosconjuntosdeZermeloFraenkelcomoaxiomadaescolha.Almdeseupapelfundamental,
ateoriadosconjuntosumramodamatemticaemsiprpria,comumacomunidadedepesquisaativa.
Pesquisascontemporneasemteoriadosconjuntosincluemumadiversacoleodetemas,variandoda
estruturadonmerorealaoestudodaconsistnciadegrandescardinais.

Algicadeclasses,quepodeserconsideradaumpequenofragmentodateoriadosconjuntoscomimportncia
histricaisomorfalgicaproposicionalclssicaelgebrabooleana,ecomotal,osteoremasdeumadas
teoriaspossuemanlogosnasoutrasduas.[1][2]

Exemplos:

equivalea
equivalea
equivalea
equivalea
equivalea (Falso)
equivalea (Verdadeiro)
equivalea .

ndice
1 Histria
2 Conceitosbsicos
3 Umpoucodeontologia
4 Teoriaaxiomticadosconjuntos
5 reasdeestudo
5.1 Teoriadosconjuntoscombinatria
https://pt.wikipedia.org/w/index.php?title=Teoria_dos_conjuntos&printable=yes 1/8
30/04/2017 TeoriadosconjuntosWikipdia,aenciclopdialivre

5.2 Teoriadescritivadosconjuntos
5.3 Teoriadosconjuntosnebulosos
5.4 Teoriadomodelointerno
5.5 Grandescardinais
5.6 Determinismo
5.7 Foramento
5.8 Invariantescardinais
5.9 Topologia
6 Objeesteoriadosconjuntoscomofundamentoparaamatemtica
7 Vertambm
8 Referncias
9 Leiturasadicionais
10 Ligaesexternas

Histria
Temasmatemticosgeralmentesurgemeevoluematravsdeinteraesentremuitospesquisadores.Teoriados
conjuntos,noentanto,foifundadaporumnicoartigoem1874porGeorgCantor:"Arespeitodeuma
propriedadecaractersticadetodososnmerosalgbricosreais".[3][4]

DesdeosculoVa.C.,comeandocomomatemticogregoZenodeEleianoocidenteematemticos
indianosnooriente,osmatemticostmsedebatidocomoconceitodeinfinito.Especialmentenotvelo
trabalhodeBernardBolzano[5]naprimeirametadedosculoXIX.Acompreensomodernadoconceitode
infinitoemmatemticacomeouem186771,comostrabalhosdeCantoremteoriadosnmeros,teoriadas
funesesriestrigonomtricas[6].Umencontroem1872entreCantoreRichardDedekindinfluenciouo
pensamentodeCantoreculminounoartigodeCantor1874.

OtrabalhodeCantorinicialmentedividiuosmatemticosdesuapoca.EnquantoKarlWeierstrasseDedekind
apoiavamCantor,LeopoldKronecker,hojevistocomoumdosfundadoresdoconstrutivismomatemtico,era
contra.Ateoriadosconjuntoscantoriana,afinal,tornouseamplamentedifundida,devidoutilidadedos
conceitoscantorianos,taiscomocorrespondnciaumparaumentreconjuntos,suaprovadequehmais
nmerosreaisqueinteiros,ea"infinidadedeinfinitos"("parasodeCantor")queaoperaoconjuntodas
partesdorigem.

Aondadeentusiasmoseguintenateoriadosconjuntoschegouporvoltade1900,quandofoidescobertoquea
teoriadosconjuntosCantorianadavaorigemavriascontradies,chamadasantinomiasouparadoxos.
BertrandRusselleErnstZermeloencontraramoparadoxomaissimplesemaisconhecidoparadoxo,hoje
chamadoparadoxodeRussellqueenvolve"oconjuntodetodososconjuntosquenosomembrosdesi
mesmos".Istolevaaumacontradio,umavezqueeledeveserenoserummembrodesimesmo.Em1899
Cantorsequestionou:"qualonmerocardinaldoconjuntodetodososconjuntos?"eobteveumparadoxo
relacionado.

Aforadateoriadosconjuntosfoitalqueodebatesobreosparadoxosnoalevouaoabandono.Otrabalhode
Zermeloem1908eAbrahamFraenkelem1922resultounateoriaaxiomticadosconjuntoscannicaZFC,que
imaginaseserlivredeparadoxos.Otrabalhodeanalistas,comoHenriLebesgue,demonstrouagrande
utilidadematemticadateoriadosconjuntos.

Conceitosbsicos
TeoriadosconjuntoscomeacomumafundamentalrelaobinriaentreumobjetooeumconjuntoA.Seo
ummembro(ouelemento)deA,nsescrevemosoA.Umavezqueconjuntossoobjetos,arelaode
pertinnciatambmpoderelacionarconjuntos.

https://pt.wikipedia.org/w/index.php?title=Teoria_dos_conjuntos&printable=yes 2/8
30/04/2017 TeoriadosconjuntosWikipdia,aenciclopdialivre

Umarelaobinriaderivadaentredoisconjuntosarelaosubconjunto,tambmchamada'estcontido'.Se
todososelementosdoconjuntoAtambmsoelementosdoconjuntoB,entoAumsubconjuntodeB,
denotadoporAB.Porexemplo,{1,2}umsubconjuntode{1,2,3},mas{1,4}no.Apartirdesta
definio,bvioqueumconjuntoumsubconjuntodesimesmonoscasosemquesedesejaevitarisso,o
termosubconjuntoprpriodefinidoparaexcluirestapossibilidade.

Assimcomoaaritmticacaracterizaoperaesbinriassobrenmeros,teoriadosconjuntoscaracteriza
operaesbinriassobreconjuntos.O(A):

UniodosconjuntosAeB,denotadaporAB,oconjuntodetodososobjetosquesomembrosdeA,
ouB,ouambos.Auniode{1,2,3}e{2,3,4}oconjunto{1,2,3,4}.
InterseodosconjuntosAeB,denotadaporAB,oconjuntodetodososobjetosquesomembros
deambosAeB.Ainterseode{1,2,3}e{2,3,4}oconjunto{2,3}.
DiferenadeconjuntosdeUeA,denotadaporU\AoconjuntodetodososmembrosdeUqueno
somembrosdeA.Adiferenadeconjuntos{1,2,3}\{2,3,4}{1},enquantoadiferenadeconjuntos
{2,3,4}\{1,2,3}{4}.QuandoAumsubconjuntodeU,adiferenadeconjuntosU\Atambm
chamadadecomplementodeAemU.Nestecaso,seaescolhadeUclaraapartirdocontexto,a
notaoAcalgumasvezesusadanolugardeU\A,particularmenteseUumconjuntouniversocomo
noestudodediagramasdeVenn.
DiferenasimtricadosconjuntosAeBoconjuntodetodososobjetosquesomembrosde
exatamenteumdeAeB(elementosqueestoemumdosconjuntos,masnoemambos).Porexemplo,
paraosconjuntos{1,2,3}e{2,3,4},oconjuntodiferenasimtrica{1,4}.oconjuntodiferenada
unioedainterseo,,(AB)\(AB).
ProdutocartesianodeAeB,denotadaporAB,oconjuntocujosmembrossotodosospossveis
paresordenados(a,b)ondeaummembrodeAebummembrodeB.
ConjuntodaspartesdeumconjuntoAoconjuntocujosmembrossotodosospossveissubconjuntos
deA.Porexemplo,oconjuntodaspartesde{1,2}{{},{1},{2},{1,2}}.

Algunsconjuntosbsicosdeimportnciacentralsooconjuntovazio(onicoconjuntoquenocontm
elementos),oconjuntodenmerosnaturais,eoconjuntodenmerosreais.

Anotaoxnateoriadosconjuntosrepresenta"paratodoequalquer".Ex.:DoisconjuntosAeBsoiguais
seesomentesex(xAxB)paratodoequalquerxcontidoemambososconjuntos(A=B).

Umpoucodeontologia
Umconjuntopurosetodososseusmembrossoconjuntos,todosos
membrosdeseusmembrossoconjuntos,eassimpordiante.Por
exemplo,oconjunto{{}}contendoapenasoconjuntovazioum
conjuntonovaziopuro.Nateoriadosconjuntosmoderna,comum
restringiraatenoparaouniversodevonNeumanndeconjuntos
puros,emuitossistemasdateoriaaxiomticadosconjuntosso
projetadosparaaxiomatizarapenasosconjuntospuros.Hmuitas
vantagenstcnicascomestarestrio,epequenageneralidadeperdida,
umavezque,essencialmente,todososconceitosmatemticospodem
sermodeladosporconjuntospuros.Conjuntosnouniversodevon
Neumannsoorganizadosemumahierarquiacumulativa,combaseem
quoprofundamenteseusmembros,osmembrosdemembros,etc,so
aninhados.Acadaconjuntonestahierarquiaatribudo(porrecurso
transfinita)umnmeroordinala,conhecidocomoasua'classe'.A Umsegmentoinicialdahierarquiade
classedeumconjuntopuroXdefinidacomosendoumamaisdoqueo vonNeumann.
menorlimitantesuperiordasclassesdetodososmembrosdeX.Por
exemplo,aoconjuntovazioatribudaaclasse0,enquantoaoconjunto{{}}contendosomenteoconjunto
vazioatribudaclasse1.Paracadaa,oconjuntoVadefinidocomoconsistindodetodososconjuntospuros
comclassemenorquea.OuniversodevonNeumanncomoumtododenotadoporV.
https://pt.wikipedia.org/w/index.php?title=Teoria_dos_conjuntos&printable=yes 3/8
30/04/2017 TeoriadosconjuntosWikipdia,aenciclopdialivre

Teoriaaxiomticadosconjuntos
Teoriaelementardosconjuntospodeserestudadademaneirainformaleintuitiva,eporissopodeserensinado
nasescolasprimriasusando,porexemplo,diagramasdeVenn.Aabordagemintuitivapressupequeum
conjuntopodeserformadoapartirdaclassedetodososobjetosquesatisfaamumacondioparticularde
definio.Estahiptesedorigemaparadoxos,osmaissimplesemaisconhecidosdosquaissooparadoxode
RusselleoparadoxodeBuraliForti.Teoriaaxiomticadosconjuntosfoioriginalmenteconcebidaparalivrara
teoriadosconjuntosdetaisparadoxos.[7]

Ossistemasmaisamplamenteestudadosdateoriaaxiomticadosconjuntosimplicamquetodososconjuntos
formamumahierarquiacumulativa.Taissistemasvmemdoissabores,aquelescujaontologiaconsistede:

Conjuntossozinhos.Estesincluemamaiscomumteoriaaxiomticadosconjuntos,teoriadosconjuntos
deZermeloFraenkel(ZFC),queincluioaxiomadaescolha.FragmentosdeZFCincluem:
TeoriadeconjuntosdeZermelo,quesubstituioesquemadeaxiomasdasubstituiocomoda
separao
Teoriageraldosconjuntos,umpequenofragmentodateoriadeconjuntosdeZermelosuficiente
paraosaxiomasdePeanoeconjuntosfinitos
TeoriadosconjuntosdeKripkePlatek,queomiteosaxiomasdoinfinitude,conjuntodaspartes,e
escolha,eenfraqueceosesquemasdeaxiomasdaseparaoesubstituio.
Conjuntoseclassesprprias.EstesincluemateoriadosconjuntosdeVonNeumannBernaysGdel,que
temamesmaforaqueZFCparateoremassobreconjuntossozinhos,eteoriadosconjuntosdeMorse
Kelley,quemaisfortedoqueZFC.

Ossistemasacimapodemsermodificadosparapermitiremurelementos,objetosquepodemsermembrosde
conjuntos,masquenosoelesprpriosconjuntosenotemnenhummembro.

OssistemasdeNovosFundamentosNFU(permitindourelementos)eNF(faltandoeles)nosobaseadasem
umahierarquiacumulativa.NFeNFUincluemum"conjuntodetudo",emrelaoaqualcadaconjuntotemum
complemento.Nestessistemasurelementosimportam,porqueNF,masnoNFU,produzconjuntosparaos
quaisoaxiomadaescolhanoseverifica.

Sistemasdateoriadosconjuntosconstrutiva,comoCST,CZFeIZF,firmamseusconjuntosdeaxiomasna
lgicaintuicionistaemvezdalgicadeprimeiraordem.Noentanto,outrossistemasadmitemporpadroa
lgicadeprimeiraordem,masapresentamumarelaomembronopadro.Estesincluemateoriagrosseira
dosconjuntoseateoriadosconjuntosdifusa,naqualovalordeumaformulaatmicaincorporandoarelao
defiliaonosimplesmenteVerdadeiroouFalso.OsmodelosdevaloresBooleanosdeZFCsoum
assuntorelacionado.

reasdeestudo
Teoriadosconjuntosaprincipalreadepesquisanamatemtica,commuitassubreasinterrelacionados.

Teoriadosconjuntoscombinatria

Teoriadosconjuntoscombinatriapreocupasecomextensesdacombinatriafinitaparaconjuntos
infinitos.IstoincluioestudodaaritmticadecardinaiseoestudodeextensesdoteoremadeRamseytais
comooteoremadeErdosRado.

Teoriadescritivadosconjuntos

Teoriadescritivadosconjuntosoestudodesubconjuntosdaretarealedossubconjuntosdosespaos
poloneses.ElacomeacomoestudodaspointclassesnahierarquiadeBoreleseestendeaoestudode
hierarquiasmaiscomplexas,comoahierarquiaprojetivaeahierarquiadeWadge.Muitaspropriedadesdos

https://pt.wikipedia.org/w/index.php?title=Teoria_dos_conjuntos&printable=yes 4/8
30/04/2017 TeoriadosconjuntosWikipdia,aenciclopdialivre

conjuntosdeBorelpodemserestabelecidasemZFC,,masaprovadequeessaspropriedadesseverificampara
conjuntosmaiscomplicadosrequeraxiomasadicionaisrelacionadoscomdeterminismoegrandescardinais.

Ocampodateoriadescritivadosconjuntosefetivaestentreateoriadosconjuntoseateoriadarecurso.Ele
incluioestudodelightfacepointclasses,eestintimamenterelacionadocomateoriahiperaritmtica.Em
muitoscasos,osresultadosdateoriadescritivadosconjuntosclssicatmversesefetivasemalgunscasos,
novosresultadossoobtidosprovandopelaversoefetivaprimeiroedepoisestendendoos("relativizandoos")
paratornlamaisamplamenteaplicveis.

UmarearecentedepesquisadizrespeitoarelaesdeequivalnciadeBorelerelaesdeequivalncia
decidveismaiscomplicadas.Istotemimportantesaplicaesparaoestudodeinvariantesemmuitoscampos
damatemtica.

Teoriadosconjuntosnebulosos

NateoriadosconjuntoscomoCantordefiniueZermeloeFraenkelaxiomatizaram,umobjetoouummembro
deumconjuntoouno.Nateoriadosconjuntosfuzzyestacondiofoirelaxada,edestaformaumobjetotem
umgraudepertinnciaemumconjunto,comonmeroentre0e1.Porexemplo,ograudepertinnciadeuma
pessoanoconjuntode"pessoasaltas"maisflexveldoqueumasimplesresposta"sim"ou"no"epodeser
umnmeroreal,talcomo0,75.

Conjuntosfuzzyforamintroduzidossimultaneamente[8]porLotfiA.Zadeh[9]eDieterKlaua[10]em1965como
umaextensodanooclssicadeconjunto.Nateoriadosconjuntosclssica,aassociaodeelementosem
umconjuntoavaliadaemtermosbinriosdeacordocomumacondiobivalenteumelementooupertence
ounopertenceaoconjunto.Poroutrolado,ateoriadosconjuntosfuzzypermiteaavaliaogradualda
participaodeelementosemumconjunto,oquedescritocomaajudadeumafunodepertinnciavalorada
nointervalounitrioreal[0,1].Conjuntosfuzzygeneralizamconjuntosclssicos,vistoqueasfunes
indicadorasdeconjuntosclssicossocasosespeciaisdasfunesdepertinnciadeconjuntosfuzzy,seestes
spodemtomarosvalores0ou1.[11]Nateoriadosconjuntosfuzzy,conjuntosclssicosbivalentesso
geralmentechamadosconjuntoscrisp.Ateoriadosconjuntosfuzzypodeserusadaemumaamplavariedadede
reasemqueainformaoincompletaouimprecisa,comonabioinformtica.[12]

Teoriadomodelointerno

UmmodelointernodateoriadosconjuntosdeZermeloFraenkel(ZF)umaclassetransitivaqueincluitodos
osordinaisesatisfaztodososaxiomasdeZF.OexemplocannicooUniversoconstruvelLdesenvolvido
porGdel.Umadasrazesquetornaoestudodemodelosinternosinteressantequeelepodeserusadopara
provarresultadosdeconsistncia.Porexemplo,podesemostrarque,independentementeseummodeloVda
ZFsatisfazahiptesedocontinuumouoaxiomadaescolha,omodelointernoLconstrudodentrodomodelo
originalirsatisfazertantoahiptesedocontinuumgeneralizadaquantooaxiomadaescolha.Assim,a
suposiodequeZFconsistente(temqualquermodeloqueseja)implicaqueZFjuntamentecomestesdois
princpiosconsistente.

Oestudodemodelosdeinteriorcomumnoestudododeterminismoegrandescardinais,especialmente
quandoseconsideraaxiomasquecontradizemoaxiomadaescolha.Mesmoqueummodelofixodateoriados
conjuntossatisfazoaxiomadaescolha,possvelqueummodelointernofalheemsatisfazeroaxiomada
escolha.Porexemplo,aexistnciadecardinaissuficientementegrandesimplicaquehummodelointerno
satisfazendooaxiomadodeterminismo(e,portanto,nosatisfazendooaxiomadaescolha).[13]

Grandescardinais

Umgrandecardinalumnmerocardinaltransfinitocujocarterde"muitogrande"estdadoporuma
propriedadeextra,denominadapropriedadedegrandecardinal.Muitasdestaspropriedadessoparticularmente
estudadas,incluindocardinaisinacessveis,cardinaismensurveis,cardinaiscompactos,entreoutras.A
https://pt.wikipedia.org/w/index.php?title=Teoria_dos_conjuntos&printable=yes 5/8
30/04/2017 TeoriadosconjuntosWikipdia,aenciclopdialivre

existnciadeumcardinalcomumadessaspropriedadesnopodeserdemonstradanateoriadosconjuntosde
ZermeloFraenkel,ZF,seZFconsistente.

Determinismo

Determinismorefereseaofatodeque,sobospressupostosadequados,certosdoisjogadoressodeterminados
desdeoincionosentidodequeumjogadordeveterumaestratgiavencedora.Aexistnciadessasestratgias
temconseqnciasimportantesnateoriadescritivadosconjuntos,comoasuposiodequeumaclassemais
ampladejogosserdeterminadamuitasvezesimplicaqueumaclassemaisampladeconjuntospossuiuma
propriedadetopolgica.Oaxiomadodeterminismo(AD)umimportanteobjetodeestudo,embora
incompatvelcomoaxiomadaescolha,ADimplicaquetodosossubconjuntosdaretarealsobem
comportados(emparticular,mensurveisecomapropriedadedeconjuntoperfeito).ADpodeserusadopara
provarqueosgrausdeWadgetmumaestruturaalinhada.

Foramento

PaulCoheninventouomtododeforamentoenquantoprocuraporummodelodeZFCemqueoaxiomada
escolhaouahiptesedocontinuumfalhe.Forandoaadiodeconjuntosadicionaisaalgumdeterminado
modelodateoriadosconjuntosdemodoacriarummodelomaior,compropriedadesdeterminadas(isto
"foradas")pelomodelooriginalepelaconstruo.Porexemplo,aconstruodeCohenuniusubconjuntos
adicionaisdosnmerosnaturaissemmudarqualquerdosnmeroscardinaisdomodelooriginal.Foramento
tambmumdosdoismtodosparaprovarconsistnciarelativapormtodosfinitstico,sendoooutroos
modelosdevaloresBooleanos.

Invariantescardinais

Invariantecardinalumapropriedadedaretarealmedidaporumnmerocardinal.Porexemplo,uma
invariantebemestudadoamenorcardinalidadedeumacoleodeconjuntosmagrosdereaiscujaunio
todaaretareal.Estessoinvariantesnosentidodequequaisquerdoismodelosdateoriadosconjuntos
isomorfosdevedaromesmocardinalparacadainvariante.Muitosinvariantescardinaisforamestudados,eas
relaesentreelessomuitasvezescomplexaserelacionadascomosaxiomasdateoriadosconjuntos.

Topologia

Topologiaestudaquestesdetopologiageralquesodeteoriadosconjuntosemsuanaturezaouquerequerem
mtodosavanadosdateoriadosconjuntosparasuasoluo.Muitosdessesteoremassoindependentesde
ZFC,exigindoaxiomasmaisfortesparaasuaprova.UmfamosoproblemaoproblemadoespaodeMoore,
umaquestonatopologiageralquefoiobjectodeintensapesquisa.Arespostaparaesteproblemaacaboupor
serprovadaserindependentedeZFC.

Objeesteoriadosconjuntoscomofundamentoparaamatemtica
Desdeoinciodateoriadosconjuntos,algunsmatemticosseopuseramaelacomoumfundamentoparaa
matemtica,argumentando,porexemplo,queapenasumjogoqueincluielementosdefantasia.Aobjeo
maiscomumteoriadosconjuntos,ummanifestodeKroneckernosprimeirosanosdateoriadosconjuntos,
comeouapartirdavisoconstrutivistadequeamatemticavagamenterelacionadacomputao.Seeste
pontodevistaforadmitido,entootratamentodeconjuntosinfinitos,tantonateoriaingnuadosconjuntos
quantonateoriaaxiomticadosconjuntos,,introduzemmatemticamtodoseobjetosquenoso
computveis.LudwigWittgensteinquestionouaformacomoateoriadosconjuntosdeZermeloFraenkel
manipulavainfinitos.AsvisesdeWittgensteinsobreosfundamentosdamatemticaforammaistarde
criticadaporGeorgKreiselePaulBernays,eminuciosamenteinvestigadasporCrispinWright,entreoutros.

https://pt.wikipedia.org/w/index.php?title=Teoria_dos_conjuntos&printable=yes 6/8
30/04/2017 TeoriadosconjuntosWikipdia,aenciclopdialivre

Tericosdascategoriaspropuseramateoriadetoposcomoumaalternativatradicionalteoriaaxiomticados
conjuntos.Teoriadetopospodeinterpretarvriasalternativasparaaquelateoria,taiscomooconstrutivismo,a
teoriadosconjuntosfinitos,eateoriadosconjuntoscomputveis.[carecedefontes?]

Vertambm
Teoriadascategorias
Modelorelacional
Orientaoaobjetos
ParadoxodeRussell
Principiamathematica
Lgicamatemtica

Referncias
1.Tanscheit,Ricardo,SistemasFuzzy,2011,em[1](http://www.inf.ufsc.br/~mauro/ine5377/leituras/ICASistemas%20
Fuzzy.pdf)
2.J.C.Bezdek.Editorial:FuzzyModelsWhatAreThey,andWhy?(http://www.lpi.tel.uva.es/~santi/fuzzy/intro_to_f
uzzy_sets.pdf).IEEETransactionsonFuzzySystems,Vol.1,No.1,February1993EditedbyP.D.
3.G.Cantor,bereineEigenschaftdesInbegriffesallerreellenalgebraischenZahlen,CrellesJournalf.Mathematik,
77(1874)258262.
4.PhilipJohnson,1972,AHistoryofSetTheory,Prindle,Weber&SchmidtISBN0871501546
5.BernardBolzano,ParadoxiendesUnendlichen,1920,FelixMeiner,Leipzip.
6.GeorgCantor,1932,GesammelteAbhandlungenmathematischenundphilosophischenInhalts,Springer,Berlin.
7.Emseuartigode1925,JohnvonNeumannobservouque"ateoriadosconjuntosnasuaversoprimeira,"ingnua",
devidaaCantor,levouacontradies.Essassoasbemconhecidasantinomiasdoconjuntodetodososconjuntosque
nocontmasiprprios(Russell),doconjuntodetodososnmerosordinaistransfinitos(BuraliForti),eoconjunto
detodososnmerosreaisfinitamentedefinveis(Richard)."Elevaiadianteatobservarqueduas"tendncias"
estavamtentando"reabilitar"ateoriadosconjuntos.Sobreoprimeiroesforo,exemplificadoporBertrandRussell,
JuliusKnig,HermannWeyleL.E.J.Brouwer,vonNeumanndisseque"oefeitogeraldesuasatividadas...
devastador".ComrelaoaomtodoaxiomticoempregadopelosegundogrupocompostodeErnstZermelo,
AbrahamFraenkeleArthurMoritzSchoenflies,vonNeumanndemonstroupreocupaodeque"vemosapenasqueos
modosconhecidosdeinfernciaquelevamaantinomiasfalham,masquemsabeondenohoutras?"eeleassumiua
tarefade,"noespritodosegundogrupo,produzir,pormeiodeumnmerofinitodeoperaespuramenteformais..
.todososconjuntosquedesejamosverformados"masnopermitirasantinomias.(Todasascitaesdevon
Neumann1925reimpressoemvanHeijenoort,Jean(1967,thirdprinting1976),"FromFregetoGdel:ASource
BookinMathematicalLogic,19791931",HarvardUniversityPress,CambridgeMA,ISBN0674324498(pbk).
Umasinopsedahistria,escritaporvanHeijenoort,podeserencontradanoscomentriosqueprecedemoartigode
vonNeumannde1925.
8.MichaelWinter(2007).Goguencategories:acategoricalapproachtoLfuzzyrelations(http://books.google.com/boo
ks?id=5wy_tope2VEC&pg=PR9).[S.l.]:Springer.p.ix.ISBN9781402061639
9.L.A.Zadeh(1965)"Fuzzysets"(http://wwwbisc.cs.berkeley.edu/Zadeh1965.pdf).InformationandControl8(3)
338353.
10.Klaua,D.(1965)bereinenAnsatzzurmehrwertigenMengenlehre.Monatsb.Deutsch.Akad.Wiss.Berlin7,859
876.UmaprofundaanliserecentedestetrabalhofoifeitaemGottwald,Siegfried(16desetembrode2010).An
earlyapproachtowardgradedidentityandgradedmembershipinsettheory(http://www.sciencedirect.com/science/ar
ticle/pii/S0165011409005326).FuzzySetsandSystems.161(18):23692379.doi:10.1016/j.fss.2009.12.005(https://d
x.doi.org/10.1016%2Fj.fss.2009.12.005)
11.D.DuboisandH.Prade(1988)FuzzySetsandSystems.AcademicPress,NewYork.
12.LilyR.Liang,ShiyongLu,XuenaWang,YiLu,VinayMandal,DorrelynPatacsil,andDeepakKumar,"FMtest:A
FuzzySetTheoryBasedApproachtoDifferentialGeneExpressionDataAnalysis",BMCBioinformatics,7(Suppl
4):S7.2006.
13.Jech,Thomas(2003),SetTheory:ThirdMillenniumEdition,ISBN9783540440857,SpringerMonographsin
Mathematics,Berlin,NewYork:SpringerVerlag,p.642.

Leiturasadicionais

https://pt.wikipedia.org/w/index.php?title=Teoria_dos_conjuntos&printable=yes 7/8
30/04/2017 TeoriadosconjuntosWikipdia,aenciclopdialivre

KeithDevlin,(2nded.)1993.TheJoyofSets.SpringerVerlag,ISBN0387940944
Ferreirs,Jose,2007(1999).LabyrinthofThought:Ahistoryofsettheoryanditsroleinmodern
mathematics.Basel,Birkhuser.ISBN9783764383497
Johnson,Philip,1972.AHistoryofSetTheory.Prindle,Weber&SchmidtISBN0871501546
Kunen,Kenneth,SetTheory:AnIntroductiontoIndependenceProofs.NorthHolland,1980.ISBN0
444854010.
Tiles,Mary,2004(1989).ThePhilosophyofSetTheory:AnHistoricalIntroductiontoCantor's
Paradise.DoverPublications.

Ligaesexternas
Foreman,M.,AkihiroKanamori,eds.HandbookofSetTheory.(http://handbook.assafrinot.com/)3vols.,
2010.Cadacaptulolevantaalgumaspectodapesquisacontemporneaemteoriadosconjuntos.No
cobreateoriaelementardosconjuntosestabelecida,paratalvejaDevlin(1993).

Obtidade"https://pt.wikipedia.org/w/index.php?title=Teoria_dos_conjuntos&oldid=45202108"

Categoria: Teoriadosconjuntos

Estapginafoimodificadapelaltimavez(s)20h34minde29demarode2016.
EstetextodisponibilizadonostermosdalicenaCreativeCommonsAtribuioCompartilhaIgual
3.0NoAdaptada(CCBYSA3.0)podeestarsujeitoacondiesadicionais.Paramaisdetalhes,
consulteascondiesdeuso.

https://pt.wikipedia.org/w/index.php?title=Teoria_dos_conjuntos&printable=yes 8/8