8 relações: Axioma da extensão, Classe (teoria dos conjuntos), Conjunto, Conjunto vazio, Elemento (matemática), Língua alemã, Lógica de primeira ordem, Teoria dos conjuntos.
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 (.
Novo!!: Urelemento e Axioma da extensão · 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!!: Urelemento e Classe (teoria dos conjuntos) · Veja mais »
Conjunto
Conjunto é um conceito-chave primitivo do ramo matemático da Teoria dos Conjuntos.
Novo!!: Urelemento e Conjunto · Veja mais »
Conjunto vazio
Em matemática, mais especificamente em teoria dos conjuntos, o conjunto vazio é o único conjunto que não possui elementos.
Novo!!: Urelemento e Conjunto vazio · Veja mais »
Elemento (matemática)
Na matemática, um elemento, ou membro, é um dos objetos distintos que constituem um conjunto.
Novo!!: Urelemento e Elemento (matemática) · Veja mais »
Língua alemã
Alemão (Deutsch) é uma língua germânica ocidental que é falada principalmente na Europa Central.
Novo!!: Urelemento e Língua alemã · 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!!: Urelemento e Lógica de primeira ordem · 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!!: Urelemento e Teoria dos conjuntos · Veja mais »