7 relações: Axioma, Axioma da escolha, Axioma da potência, Axioma do infinito, Axioma do par, Axiomas de Peano, Axiomas de Zermelo-Fraenkel.
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!!: Axioma (desambiguação) e Axioma · Veja mais »
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!!: Axioma (desambiguação) e Axioma da escolha · Veja mais »
Axioma da potência
Em matemática, o axioma da potência é um dos axiomas de Zermelo-Fraenkel da Teoria Axiomática dos Conjuntos de Zermelo-Fraenkel (ZFC) Na linguagem formal dos axiomas de Zermelo-Fraenkel, lê-se: onde P é o conjunto das partes, ou conjunto potência de A, \mathcal(A).
Novo!!: Axioma (desambiguação) e Axioma da potência · Veja mais »
Axioma do infinito
Na teoria dos conjuntos, a teoria do Axioma do Infinito é aquele que garante a existência de um conjunto infinito.
Novo!!: Axioma (desambiguação) e Axioma do infinito · Veja mais »
Axioma do par
O axioma do par diz que, dados dois conjuntos, existe um conjunto no qual esses dois conjuntos são elementos.
Novo!!: Axioma (desambiguação) e Axioma do par · Veja mais »
Axiomas de Peano
Em lógica matemática, os axiomas de Peano, também conhecidos como os axiomas de Dedekind-Peano ou postulados de Peano, são um conjunto de axiomas para os números naturais apresentado pelo matemático italiano do século XIX Giuseppe Peano.
Novo!!: Axioma (desambiguação) e Axiomas de Peano · 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!!: Axioma (desambiguação) e Axiomas de Zermelo-Fraenkel · Veja mais »