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 »