10 relações: Axioma da escolha, Axiomas de Zermelo-Fraenkel, Cardinal inacessível, Hipótese do continuum, Independência de axiomas, Lógica matemática, Postulado das paralelas, Problema de Suslin, Propriedade de grande cardinal, Springer Science+Business Media.
Axioma da escolha
Na matemática, o axioma da escolha é um axioma da teoria dos conjuntos equivalente à afirmação "o produto de uma coleção não-vazia de conjuntos é não-vazio".
Novo!!: Independência (lógica matemática) e Axioma da escolha · 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!!: Independência (lógica matemática) e Axiomas de Zermelo-Fraenkel · Veja mais »
Cardinal inacessível
Em matemática, especialmente em teoria dos conjuntos, um número cardinal \kappa^ é denominado inacessível se \kappa^ é um cardinal regular, não enumerável e limite forte.
Novo!!: Independência (lógica matemática) e Cardinal inacessível · Veja mais »
Hipótese do continuum
A hipótese do continuum é uma conjectura proposta por Georg Cantor.
Novo!!: Independência (lógica matemática) e Hipótese do continuum · Veja mais »
Independência de axiomas
Um axioma P é independente caso não haja outros axiomas Q de maneira que Q implique P. Em muitos casos, a independência é desejada, seja para alcançar a conclusão de um conjunto reduzido de axiomas, seja para possibilitar a substituição de um axioma independente a fim de criar um sistema mais conciso (a título de exemplo, o postulado das paralelas é independente de outros axiomas da geometria euclidiana e fornece resultados interessantes quando é negado ou substituído).
Novo!!: Independência (lógica matemática) e Independência de axiomas · Veja mais »
Lógica matemática
A lógica matemática é uma subárea da matemática que explora as aplicações da lógica formal para a matemática.
Novo!!: Independência (lógica matemática) e Lógica matemática · Veja mais »
Postulado das paralelas
O postulado das paralelas, também conhecido como quinto postulado de Euclides, foi enunciado por volta dos anos no seu famoso livro “Os Elementos”, da seguinte forma: “É verdade que, se uma reta ao cortar duas outras, forma ângulos internos, no mesmo lado, cuja soma é menor do que dois ângulos retos, então as duas retas, se continuadas, encontrar-se-ão no lado onde estão os ângulos cuja soma é menor do que dois ângulos retos”.
Novo!!: Independência (lógica matemática) e Postulado das paralelas · Veja mais »
Problema de Suslin
Em matemática, o Problema de Suslin é uma questão referente a conjuntos totalmente ordenados enunciada por Mikhail Yakovlevich Suslin em 1920.
Novo!!: Independência (lógica matemática) e Problema de Suslin · 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.
Novo!!: Independência (lógica matemática) e Propriedade de grande cardinal · Veja mais »
Springer Science+Business Media
Springer Science+Business Media ou Springer-Verlag, ou ainda, simplesmente Springer é uma editora mundial baseada na Alemanha, a qual publica livros-texto, livros de referência acadêmica, e periódicos de artigos com revisão por pares (peer-review), com foco em ciência, tecnologia, matemática, e medicina.
Novo!!: Independência (lógica matemática) e Springer Science+Business Media · Veja mais »