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!
 

Axioma da extensão

Índice Axioma da extensão

O axioma da extensão, também chamado axioma da extensionalidade ou ainda axioma da unicidade, cumpre, na teoria dos conjuntos de Zermelo-Fraenkel, o papel de estabelecer como as relações de pertinência (\in) e igualdade de conjuntos (.

3 relações: Axiomas de Zermelo-Fraenkel, Extensionalidade, Subconjunto.

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!!: Axioma da extensão e Axiomas de Zermelo-Fraenkel · Veja mais »

Extensionalidade

Em lógica ou linguística, o conceito de extensionalidade se refere à definição da identidade entre objetos ou vocábulos distintos pelo fato de eles apresentarem as mesmas propriedades externas.

Novo!!: Axioma da extensão e Extensionalidade · Veja mais »

Subconjunto

Diagrama de Euler ilustrando o fato de que A é subconjunto de B ou, equivalentemente, que B é superconjunto de A Em teoria dos conjuntos, quando todo elemento de um conjunto A é também elemento de um conjunto B, dizemos que A é um subconjunto de B, denotado A \subseteq B (também dito "A é uma parte de B" ou "A está contido em B").

Novo!!: Axioma da extensão e Subconjunto · Veja mais »

Redireciona aqui:

Axioma da extensionalidade, Axioma da unicidade, Igualdade de conjuntos.

CessanteEntrada
Ei! Agora estamos em Facebook! »