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!
 

Teoria de conjuntos de Zermelo

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

12 relações: Axioma, Axioma da regularidade, Axioma da substituição, Axiomas de Zermelo-Fraenkel, Dedekind-infinito, Ernst Zermelo, Indução matemática, John von Neumann, Matemática, Teoria dos conjuntos, Universo de von Neumann, 1908.

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!!: Teoria de conjuntos de Zermelo e Axioma · 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!!: Teoria de conjuntos de Zermelo e Axioma da regularidade · 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!!: Teoria de conjuntos de Zermelo e Axioma da substituição · Veja mais »

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.

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

Dedekind-infinito

Na matemática, especialmente na teoria de conjuntos, um conjunto A é Dedekind-infinito ou infinito de Dedekind se A é equipotente a um subconjunto próprio.

Novo!!: Teoria de conjuntos de Zermelo e Dedekind-infinito · 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!!: Teoria de conjuntos de Zermelo e Ernst Zermelo · Veja mais »

Indução matemática

O efeito dominó Indução matemática é um método de prova matemática usado para demonstrar a verdade de um número infinito de proposições.

Novo!!: Teoria de conjuntos de Zermelo e Indução matemática · 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!!: Teoria de conjuntos de Zermelo e John von Neumann · Veja mais »

Matemática

problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.

Novo!!: Teoria de conjuntos de Zermelo e Matemática · 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!!: Teoria de conjuntos de Zermelo e Teoria dos conjuntos · 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!!: Teoria de conjuntos de Zermelo e Universo de von Neumann · Veja mais »

1908

1908 (na numeração romana) foi um ano bissexto do do atual calendário gregoriano, da Era de Cristo, e as suas letras dominicais foram E e D (53 semanas), teve início a uma quarta-feira e terminou a uma quinta-feira.

Novo!!: Teoria de conjuntos de Zermelo e 1908 · Veja mais »

Redireciona aqui:

Teoria de Zermelo.

CessanteEntrada
Ei! Agora estamos em Facebook! »