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

Axiomas de Zermelo-Fraenkel e Universo de von Neumann

Atalhos: Diferenças, Semelhanças, Coeficiente de Similaridade de Jaccard, Referências.

Diferença entre Axiomas de Zermelo-Fraenkel e Universo de von Neumann

Axiomas de Zermelo-Fraenkel vs. Universo de von Neumann

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. 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.

Semelhanças entre Axiomas de Zermelo-Fraenkel e Universo de von Neumann

Axiomas de Zermelo-Fraenkel e Universo de von Neumann têm 8 coisas em comum (em Unionpedia): Axioma da regularidade, Axioma da substituição, Classe (teoria dos conjuntos), Número ordinal, Propriedade de grande cardinal, Teoria de conjuntos de Zermelo, Universo construível, Urelemento.

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.

Axioma da regularidade e Axiomas de Zermelo-Fraenkel · Axioma da regularidade e Universo de von Neumann · 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.

Axioma da substituição e Axiomas de Zermelo-Fraenkel · Axioma da substituição e Universo de von Neumann · 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.

Axiomas de Zermelo-Fraenkel e Classe (teoria dos conjuntos) · Classe (teoria dos conjuntos) e Universo de von Neumann · 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.

Axiomas de Zermelo-Fraenkel e Número ordinal · Número ordinal e Universo de von Neumann · 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.

Axiomas de Zermelo-Fraenkel e Propriedade de grande cardinal · Propriedade de grande cardinal e Universo de von Neumann · 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.

Axiomas de Zermelo-Fraenkel e Teoria de conjuntos de Zermelo · Teoria de conjuntos de Zermelo e Universo de von Neumann · 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.

Axiomas de Zermelo-Fraenkel e Universo construível · Universo construível 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.

Axiomas de Zermelo-Fraenkel e Urelemento · Universo de von Neumann e Urelemento · Veja mais »

A lista acima responda às seguintes perguntas

Comparação entre Axiomas de Zermelo-Fraenkel e Universo de von Neumann

Axiomas de Zermelo-Fraenkel tem 63 relações, enquanto Universo de von Neumann tem 17. Como eles têm em comum 8, o índice de Jaccard é 10.00% = 8 / (63 + 17).

Referências

Este artigo é a relação entre Axiomas de Zermelo-Fraenkel e Universo de von Neumann. Para acessar cada artigo visite:

Ei! Agora estamos em Facebook! »