Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Instalar
Acesso mais rápido do que o navegador!
 

Axiomas de Zermelo-Fraenkel

Índice Axiomas de Zermelo-Fraenkel

Na matemática, a teoria dos conjuntos de Zermelo-Fraenkel com o axioma da escolha, nomeada em homenagem aos matemáticos Ernst Zermelo e Abraham Fraenkel e comumente abreviada como ZFC, é um dos muitos sistemas axiomáticos que foram propostos no início do século XX para promover uma teoria dos conjuntos sem os paradoxos da teoria ingênua dos conjuntos, como o paradoxo de Russell.

63 relações: Adolf Abraham Halevi Fraenkel, Aritmética de Robinson, Aritmética de segunda ordem, Assinatura (lógica), Axioma, Axioma da escolha, Axioma da potência, Axioma da regularidade, Axioma da separação, Axioma da substituição, Axioma de construtibilidade, Axioma de Martin, Axioma do par, Axiomas de Peano, Cardinal inacessível, Cardinal mensurável, Classe (teoria dos conjuntos), Conjunto universo, Dmitry Mirimanoff, Ernst Zermelo, Fórmula atômica, Forçamento, Fundamentos da matemática, Hipótese do continuum, Hiperconjunto, Independência (lógica matemática), Indivíduo, John von Neumann, Lógica de primeira ordem, Metamatemática, Número ordinal, Ontologia, Par ordenado, Paradoxo de Burali-Forti, Paradoxo de Cantor, Paradoxo de Russell, Princípio diamante, Problema de Suslin, Propriedade de grande cardinal, Relação bem-fundada, Relação binária, Richard Montague, Saunders Mac Lane, Século XX, Sistema axiomático, Solomon Feferman, Teorema, Teoremas da incompletude de Gödel, Teoria das categorias, Teoria de conjuntos de Zermelo, ..., Teoria dos conjuntos, Teoria dos conjuntos de Tarski-Grothendieck, Teoria dos conjuntos de Von Neumann-Bernays-Gödel, Teoria dos modelos, Teoria ingênua dos conjuntos, Thoralf Skolem, Universo, Universo construível, Universo de discurso, Universo de Grothendieck, Universo de von Neumann, Urelemento, Wikilivros. Expandir índice (13 mais) »

Adolf Abraham Halevi Fraenkel

Adolf Abraham Halevi Fraenkel (אברהם הלוי פרנקל.; Munique, — Jerusalém) foi um matemático judeu nascido e criado na Alemanha.

Novo!!: Axiomas de Zermelo-Fraenkel e Adolf Abraham Halevi Fraenkel · Veja mais »

Aritmética de Robinson

Na matemática, a Aritmética de Robinson, ou Q, é um fragmento finitamente axiomatizado da Aritmética de Peano (AP), estabelecida pela primeira vez por Raphael Mitchel Robinson (1950).

Novo!!: Axiomas de Zermelo-Fraenkel e Aritmética de Robinson · Veja mais »

Aritmética de segunda ordem

Na Lógica matemática, aritmética de segunda ordem é uma coleção de sistemas axiomáticos que formalizam os números naturais e seus subconjuntos.

Novo!!: Axiomas de Zermelo-Fraenkel e Aritmética de segunda ordem · Veja mais »

Assinatura (lógica)

Na lógica matemática, uma assinatura compreende o conjunto de símbolos não-lógicos que caracteriza uma linguagem formal.

Novo!!: Axiomas de Zermelo-Fraenkel e Assinatura (lógica) · Veja mais »

Axioma

Na lógica tradicional, um axioma ou postulado é uma sentença ou proposição que não é provada ou demonstrada e é considerada como óbvia ou como um consenso inicial necessário para a construção ou aceitação de uma teoria.

Novo!!: Axiomas de Zermelo-Fraenkel e Axioma · Veja mais »

Axioma da escolha

Na matemática, o axioma da escolha é um axioma da teoria dos conjuntos equivalente à afirmação "o produto de uma coleção não-vazia de conjuntos é não-vazio".

Novo!!: Axiomas de Zermelo-Fraenkel e Axioma da escolha · Veja mais »

Axioma da potência

Em matemática, o axioma da potência é um dos axiomas de Zermelo-Fraenkel da Teoria Axiomática dos Conjuntos de Zermelo-Fraenkel (ZFC) Na linguagem formal dos axiomas de Zermelo-Fraenkel, lê-se: onde P é o conjunto das partes, ou conjunto potência de A, \mathcal(A).

Novo!!: Axiomas de Zermelo-Fraenkel e Axioma da potência · Veja mais »

Axioma da regularidade

O axioma da regularidade, também conhecido como axioma da fundação, em teoria dos conjuntos, é o que garante, essencialmente, que um conjunto não pode ser membro dele mesmo (diretamente, como X \in X\,, ou indiretamente, através de uma cadeia de outros conjuntos X \in X_1 \in X_2 \ldots \in X\,. A sua formulação, devida a von Neumann (em 1925), em lógica de primeira ordem é: Ou seja, todo conjunto que não é o conjunto vazio possui um elemento que é totalmente disjunto dele. Este é um dos axiomas de Zermelo-Fraenkel, e de outras importantes versões da teoria dos conjuntos. Em versões da teoria dos conjuntos que violam este axioma, os "culpados" são chamados de hiperconjuntos; um exemplo é o átomo de Quine Q.

Novo!!: Axiomas de Zermelo-Fraenkel e Axioma da regularidade · Veja mais »

Axioma da separação

O Axioma da separação (também conhecido como Axioma da compreensão ou Axioma de especificação) é um dos axiomas (ou, mais precisamente, um dos esquemas de axiomas) que fazem parte dos Axiomas de Zermelo-Fraenkel da Teoria dos Conjuntos.

Novo!!: Axiomas de Zermelo-Fraenkel e Axioma da separação · Veja mais »

Axioma da substituição

Em teoria dos conjuntos, o axioma da substituição é um esquema de axiomas que garante a existência de um conjunto que é imagem de outro conjunto.

Novo!!: Axiomas de Zermelo-Fraenkel e Axioma da substituição · Veja mais »

Axioma de construtibilidade

Na matemática, o Axioma de Construtibilidade é um possível axioma na teoria axiomática de conjuntos, que declara que todo conjunto é construtível.

Novo!!: Axiomas de Zermelo-Fraenkel e Axioma de construtibilidade · Veja mais »

Axioma de Martin

No campo matemático da teoria dos conjuntos, o axioma de Martin, introduzido por Donald A. Martin e Robert M. Solovay (1970), é uma sentença que é independente dos axiomas da teoria dos conjuntos de ZFC.

Novo!!: Axiomas de Zermelo-Fraenkel e Axioma de Martin · Veja mais »

Axioma do par

O axioma do par diz que, dados dois conjuntos, existe um conjunto no qual esses dois conjuntos são elementos.

Novo!!: Axiomas de Zermelo-Fraenkel e Axioma do par · Veja mais »

Axiomas de Peano

Em lógica matemática, os axiomas de Peano, também conhecidos como os axiomas de Dedekind-Peano ou postulados de Peano, são um conjunto de axiomas para os números naturais apresentado pelo matemático italiano do século XIX Giuseppe Peano.

Novo!!: Axiomas de Zermelo-Fraenkel e Axiomas de Peano · Veja mais »

Cardinal inacessível

Em matemática, especialmente em teoria dos conjuntos, um número cardinal \kappa^ é denominado inacessível se \kappa^ é um cardinal regular, não enumerável e limite forte.

Novo!!: Axiomas de Zermelo-Fraenkel e Cardinal inacessível · Veja mais »

Cardinal mensurável

Em matemática, especialmente em teoria dos conjuntos, um cardinal \kappa^ não enumerável é denominado mensurável se existe uma medida \kappa^-aditiva, valorada em \left\ (ou seja, bivalente) e náo trivial sobre o conjunto potência \mathcal\! \left(\kappa \right).

Novo!!: Axiomas de Zermelo-Fraenkel e Cardinal mensurável · Veja mais »

Classe (teoria dos conjuntos)

Em teoria dos conjuntos, uma classe (também chamada coleção ou família) é uma coleção (não necessariamente um conjunto, por exemplo a classe de todos os conjuntos) constituída de outros conjuntos (ou outros objetos matemáticos) de um espaço dado.

Novo!!: Axiomas de Zermelo-Fraenkel e Classe (teoria dos conjuntos) · Veja mais »

Conjunto universo

O Conjunto Universo, também conhecido como Conjunto Verdade, é uma representação de todos os elementos possíveis em dado conjunto.

Novo!!: Axiomas de Zermelo-Fraenkel e Conjunto universo · Veja mais »

Dmitry Mirimanoff

Dmitry Semionovitch Mirimanoff (Дми́трий Семёнович Мирима́нов; Pereslavl-Zalessky, Rússia, — Genebra, Suíça) foi um matemático russo naturalizado suíço.

Novo!!: Axiomas de Zermelo-Fraenkel e Dmitry Mirimanoff · Veja mais »

Ernst Zermelo

Ernst Friedrich Ferdinand Zermelo (Berlim, 27 de julho de 1871 — Friburgo, 21 de maio de 1953) foi um matemático e filósofo alemão, cujo trabalho teve influência direta nos fundamentos da matemática.

Novo!!: Axiomas de Zermelo-Fraenkel e Ernst Zermelo · Veja mais »

Fórmula atômica

Em Lógica matemática, uma Fórmula Atômica (ou simplesmente átomo) é uma fórmula sem uma estrutura proposicional mais profunda, isto é, uma fórmula que não contém Conectivos lógicos, ou equivalentemente uma fórmula que não contém subfórmulas.

Novo!!: Axiomas de Zermelo-Fraenkel e Fórmula atômica · Veja mais »

Forçamento

Em teoria dos conjuntos, forçamento (em inglês, forcing) é uma técnica inventada por Paul Cohen para provar resultados de consistência e independência.

Novo!!: Axiomas de Zermelo-Fraenkel e Forçamento · Veja mais »

Fundamentos da matemática

Denomina-se fundamentos da matemática a uma área de estudo que abrange tanto problemas da filosofia da matemática, como da lógica e da matemática.

Novo!!: Axiomas de Zermelo-Fraenkel e Fundamentos da matemática · Veja mais »

Hipótese do continuum

A hipótese do continuum é uma conjectura proposta por Georg Cantor.

Novo!!: Axiomas de Zermelo-Fraenkel e Hipótese do continuum · Veja mais »

Hiperconjunto

Em ZFC sem o axioma da regularidade, a possibilidade de infundados conjuntos surgem.

Novo!!: Axiomas de Zermelo-Fraenkel e Hiperconjunto · Veja mais »

Independência (lógica matemática)

Na lógica matemática, independência se refere a uma sentença que não pode ser provada a partir de outras sentenças.

Novo!!: Axiomas de Zermelo-Fraenkel e Independência (lógica matemática) · Veja mais »

Indivíduo

Em metafísica e estatística, a palavra indivíduo habitualmente descreve qualquer coisa numericamente singular, embora por vezes se refira especificamente a "uma pessoa".

Novo!!: Axiomas de Zermelo-Fraenkel e Indivíduo · Veja mais »

John von Neumann

John von Neumann, nascido Margittai Neumann János Lajos (Budapeste, — Washington, D.C.) foi um matemático húngaro de origem judaica, naturalizado estadunidense.

Novo!!: Axiomas de Zermelo-Fraenkel e John von Neumann · Veja mais »

Lógica de primeira ordem

A lógica de primeira ordem (LPO), conhecida também como cálculo de predicados de primeira ordem (CPPO), é um sistema lógico que estende a lógica proposicional (lógica sentencial) e que é estendida pela lógica de segunda ordem.

Novo!!: Axiomas de Zermelo-Fraenkel e Lógica de primeira ordem · Veja mais »

Metamatemática

A metamatemática é um conceito formulado por Jacques Herbrand em 1930 e expandido por Tarski e Gödel.

Novo!!: Axiomas de Zermelo-Fraenkel e Metamatemática · Veja mais »

Número ordinal

Na teoria dos conjuntos, um número ordinal, ou só ordinal, é um tipo de ordem de um conjunto bem-ordenado.

Novo!!: Axiomas de Zermelo-Fraenkel e Número ordinal · Veja mais »

Ontologia

Ontologia (do grego ontos "ente" e -logia, "discurso lógico"; no conjunto, "ciência do ser") é o ramo da filosofia que estuda conceitos como existência, ser, devir e realidade. Inclui as questões de como as entidades são agrupadas em categorias básicas e quais dessas entidades existem no nível mais fundamental. A ontologia é às vezes referida como a ciência do ser e pertence ao maior ramo da filosofia conhecido como metafísica. Os ontologistas frequentemente tentam determinar quais são as categorias ou tipos mais altos e como formam um sistema de categorias que fornece uma classificação abrangente de todas as entidades. As categorias comumente propostas incluem substâncias, propriedades, relações, estados de coisas e eventos. Estas categorias são caracterizadas por conceitos ontológicos fundamentais, como particularidade e universalidade, abstração e concretude, ou possibilidade e necessidade. De especial interesse é o conceito de dependência ontológica, que determina se as entidades de uma categoria existem no nível mais fundamental. As discordâncias dentro da ontologia são muitas vezes sobre se as entidades pertencentes a uma determinada categoria existem e, em caso afirmativo, como se relacionam com outras entidades. Quando usado como substantivo contável, os termos "ontologia" e "ontologias" referem-se não à ciência do ser, mas às teorias dentro da ciência do ser. As teorias ontológicas podem ser divididas em vários tipos de acordo com seus compromissos teóricos. As ontologias monocategóricas sustentam que há apenas uma categoria básica, o que é rejeitado pelas ontologias policategóricas. As ontologias hierárquicas afirmam que algumas entidades existem em um nível mais fundamental e que outras entidades dependem delas. As ontologias planas, por outro lado, negam tal status privilegiado a qualquer entidade.

Novo!!: Axiomas de Zermelo-Fraenkel e Ontologia · Veja mais »

Par ordenado

Em matemática, um par ordenado (a, b) é um par de objetos matemáticos cuja ordem de ocorrência desses objetos é significante.

Novo!!: Axiomas de Zermelo-Fraenkel e Par ordenado · Veja mais »

Paradoxo de Burali-Forti

O Paradoxo de Burali-Forti, proposto em 1897 pelo matemático italiano Cesare Burali-Forti, diz que não existe um número ordinal maior que todos outros números ordinais.

Novo!!: Axiomas de Zermelo-Fraenkel e Paradoxo de Burali-Forti · Veja mais »

Paradoxo de Cantor

Em teoria dos conjuntos, o paradoxo de Cantor, devido a Georg Cantor, é o resultado que para todo conjunto, existe outro conjunto de maior cardinalidade.

Novo!!: Axiomas de Zermelo-Fraenkel e Paradoxo de Cantor · Veja mais »

Paradoxo de Russell

O Paradoxo de Russell é um paradoxo descoberto por Bertrand Russell em 1901 e que mostra que no sistema do livro de Frege Leis fundamentais da aritmética pode ser derivada uma contradição.

Novo!!: Axiomas de Zermelo-Fraenkel e Paradoxo de Russell · Veja mais »

Princípio diamante

Em matemática, e particularmente na teoria axiomática dos conjuntos, o princípio diamante (◊) é um princípio combinatório introduzido por Björn Jensen (1972) que é verdadeiro no universo construível e que implica a hipótese do continuum.

Novo!!: Axiomas de Zermelo-Fraenkel e Princípio diamante · Veja mais »

Problema de Suslin

Em matemática, o Problema de Suslin é uma questão referente a conjuntos totalmente ordenados enunciada por Mikhail Yakovlevich Suslin em 1920.

Novo!!: Axiomas de Zermelo-Fraenkel e Problema de Suslin · Veja mais »

Propriedade de grande cardinal

Em matemática, especialmente na área da teoria dos conjuntos, uma propriedade de grande cardinal é um certo tipo de propriedade de números cardinais transfinitos.

Novo!!: Axiomas de Zermelo-Fraenkel e Propriedade de grande cardinal · Veja mais »

Relação bem-fundada

Em matemática, uma relação binária R\subseteq X\times X é uma relação bem-fundada numa classe X, se e somente se, todo subconjunto não vazio de X, tiver um elemento R-minimal; ou seja, para todo subconjunto não vazio S de X, existe um elemento m de S tal que para todo elemento s de S, o par (s,m) não está em R. Em outras palavras, todo subconjunto não vazio de X possui um elemento m tal que para todo s, s \not\in m. Desta forma, evitamos situações de loop.

Novo!!: Axiomas de Zermelo-Fraenkel e Relação bem-fundada · Veja mais »

Relação binária

Relação binária Relação bináriaNa matemática e na lógica, uma relação binária ou 2-ária é uma relação entre dois elementos, sendo um conjunto de pares ordenados.

Novo!!: Axiomas de Zermelo-Fraenkel e Relação binária · Veja mais »

Richard Montague

Richard Merett Montague (Stockton, 20 de setembro de 1930 - Los Angeles, 7 de março de 1971) foi um matemático e filósofo americano.

Novo!!: Axiomas de Zermelo-Fraenkel e Richard Montague · Veja mais »

Saunders Mac Lane

Saunders Mac Lane (Taftville, — São Francisco) foi um matemático estadunidense.

Novo!!: Axiomas de Zermelo-Fraenkel e Saunders Mac Lane · Veja mais »

Século XX

O século XX iniciou em 1 de janeiro de 1901 e terminou em 31 de dezembro de 2000.

Novo!!: Axiomas de Zermelo-Fraenkel e Século XX · Veja mais »

Sistema axiomático

Na matemática, um sistema axiomático, é qualquer conjunto de axiomas que podem ser ligados em conjunção para logicamente derivar teoremas.

Novo!!: Axiomas de Zermelo-Fraenkel e Sistema axiomático · Veja mais »

Solomon Feferman

Solomon Feferman (Nova Iorque, - 26 de julho de 2016) foi um matemático e filósofo estadunidense.

Novo!!: Axiomas de Zermelo-Fraenkel e Solomon Feferman · Veja mais »

Teorema

Na matemática, um teorema é uma afirmação que pode ser provada como verdadeira, por meio de outras afirmações já demonstradas, como outros teoremas, juntamente com afirmações anteriormente aceitas, como axiomas.

Novo!!: Axiomas de Zermelo-Fraenkel e Teorema · Veja mais »

Teoremas da incompletude de Gödel

Os teoremas da incompletude de Gödel são dois teoremas da lógica matemática que estabelecem limitações inerentes a quase todos os sistemas axiomáticos, exceto aos mais triviais.

Novo!!: Axiomas de Zermelo-Fraenkel e Teoremas da incompletude de Gödel · Veja mais »

Teoria das categorias

Na matemática, a teoria das categorias provê uma linguagem interdisciplinar capaz de delinear resultados e construções gerais, separando-os dos específicos a cada área, possibilitando a simplificação e clarificação de demonstrações.

Novo!!: Axiomas de Zermelo-Fraenkel e Teoria das categorias · Veja mais »

Teoria de conjuntos de Zermelo

Em matemática, a Teoria de conjuntos de Zermelo, abreviada Z, é a apresentação axiomática da Teoria de conjuntos publicada pela primeira vez por Ernst Zermelo em 1908 no seu artigo Pesquisas sobre os fundamentos da teoria de conjuntos.

Novo!!: Axiomas de Zermelo-Fraenkel e Teoria de conjuntos de Zermelo · Veja mais »

Teoria dos conjuntos

conjuntos. Teoria dos conjuntos ou de conjuntos é o ramo da lógica matemática que estuda conjuntos, que (informalmente) são coleções de elementos.

Novo!!: Axiomas de Zermelo-Fraenkel e Teoria dos conjuntos · Veja mais »

Teoria dos conjuntos de Tarski-Grothendieck

A teoria dos conjuntos de Tarski-Grothendieck (TG, assim denominada em referência aos matemáticos Alfred Tarski e Alexander Grothendieck) é uma teoria dos conjuntos axiomática.

Novo!!: Axiomas de Zermelo-Fraenkel e Teoria dos conjuntos de Tarski-Grothendieck · Veja mais »

Teoria dos conjuntos de Von Neumann-Bernays-Gödel

Em fundamentos da matemática, a teoria dos conjuntos de Von Neumann-Bernays-Gödel (NGB) é uma extensão do sistema ZFC para a teoria axiomática dos conjuntos.

Novo!!: Axiomas de Zermelo-Fraenkel e Teoria dos conjuntos de Von Neumann-Bernays-Gödel · Veja mais »

Teoria dos modelos

Na matemática, Teoria de Modelos é o estudo da representação de conceitos matemáticos em termos de teoria de conjuntos, ou o estudo de modelos que apoiam sistemas matemáticos.

Novo!!: Axiomas de Zermelo-Fraenkel e Teoria dos modelos · Veja mais »

Teoria ingênua dos conjuntos

Na matemática abstrata, a teoria dos conjuntos foi o primeiro desenvolvimento da teoria dos conjuntos, que foi mais tarde remodelada cuidadosamente como a teoria axiomática dos conjuntos.

Novo!!: Axiomas de Zermelo-Fraenkel e Teoria ingênua dos conjuntos · Veja mais »

Thoralf Skolem

Thoralf Albert Skolem (Sandsvaer, 23 de maio de 1887 — Oslo, 23 de março de 1963) foi um matemático norueguês, conhecido principalmente por seu trabalho em lógica matemática e teoria dos conjuntos.

Novo!!: Axiomas de Zermelo-Fraenkel e Thoralf Skolem · Veja mais »

Universo

O Universo é tudo o que existe fisicamente, a soma do espaço e do tempo e as mais variadas formas de matéria, como planetas, estrelas, galáxias e os componentes do espaço intergaláctico.

Novo!!: Axiomas de Zermelo-Fraenkel e Universo · Veja mais »

Universo construível

Em matemática, o Universo construtível (ou Universo construtível de Gödel ou Hierarquia construtível), denotado por L, é uma classe de conjuntos definida por recursão transfinita.

Novo!!: Axiomas de Zermelo-Fraenkel e Universo construível · Veja mais »

Universo de discurso

O domínio de discurso, também chamado de universo de discurso ou domínio de quantificação, é uma ferramenta analítica usada na lógica dedutiva, especialmente na lógica de predicados.

Novo!!: Axiomas de Zermelo-Fraenkel e Universo de discurso · Veja mais »

Universo de Grothendieck

Na teoria dos conjuntos, pelo menos com os axiomas de Zermelo-Fraenkel, é contraditória a existência de um conjunto incluindo todos os conjuntos.

Novo!!: Axiomas de Zermelo-Fraenkel e Universo de Grothendieck · Veja mais »

Universo de von Neumann

Na matemática, particularmente na teoria de conjuntos de Zermelo-Fraenkel, o universo de von Neumann, hierarquia de von Neumann dos conjuntos, ou hierarquia cumulativa, abreviado V, é uma classe definida por recursão transfinita: a classe dos conjuntos hereditariamente bem fundados.

Novo!!: Axiomas de Zermelo-Fraenkel e Universo de von Neumann · Veja mais »

Urelemento

Em matemática, mais exatamente em teoria dos conjuntos, um urelemento ou ur-elemento (onde ur- é um prefixo alemão com o significado de “primordial&rdquo) é um objeto (concreto ou abstrato) que não é um conjunto, mas que pode ser um elemento de um conjunto.

Novo!!: Axiomas de Zermelo-Fraenkel e Urelemento · Veja mais »

Wikilivros

Wikilivros (do inglês: Wikibooks, anteriormente chamado Projeto de Textos Didáticos Livres da Wikimedia, do inglês: Wikimedia Free Textbook Project ou Wikimedia-Textos Didáticos) é um projeto de código wiki da Fundação Wikimedia, tal como a Wikipédia, dedicado ao desenvolvimento colaborativo de textos didáticos (como livros, apostilas, manuais) de conteúdo livre (licenciados sob a GNU FDL).

Novo!!: Axiomas de Zermelo-Fraenkel e Wikilivros · Veja mais »

Redireciona aqui:

Teoria dos conjuntos de Zermelo-Fraenkel, ZFC, Zermelo-Fraenkel.

CessanteEntrada
Ei! Agora estamos em Facebook! »