Lista de axiomas - List of axioms
Esta é uma lista de axiomas como o termo é entendido em matemática , por página da Wikipedia. Em epistemologia , a palavra axioma é entendida de forma diferente; veja axioma e auto-evidência . Axiomas individuais são quase sempre parte de um grande sistema axiomático .
Conteúdo
ZF (a Zermelo-Fraenkel axiomas sem o axioma da escolha)
Juntamente com o axioma da escolha (veja abaixo), estes são os de facto axiomas padrão para contemporâneas matemática ou teoria dos conjuntos . Eles podem ser facilmente adaptados às teorias análogos, tais como mereologia .
- Axioma da extensão
- Axioma do conjunto vazio
- Axioma do par
- Axioma da união
- Axioma do infinito
- axioma da substituição
- Axioma da potência
- Axioma da regularidade
- axioma da separação
Veja também Zermelo teoria dos conjuntos .
Axioma da escolha
Com a Zermelo-Fraenkel axiomas acima, isso faz com que o sistema ZFC em que a maioria matemática é potencialmente formalisable.
Equivalentes de AC
Mais forte do que AC
Mais fraco do que AC
- Axioma da escolha contável
- Princípio da escolha dependente
- Boolean teorema ideal primo
- Axioma da uniformização
Suplentes incompatíveis com AC
Outros axiomas da lógica matemática
- axiomas Von Neumann-Bernays-Gödel
- Hipótese do contínuo e sua generalização
- axioma de simetria do Freiling
- Axiom de determinação
- Axiom de determinação projetiva
- axioma de Martin
- Axioma de construtibilidade
- Rank-em-rank
- axiomas Kripke-Płatek
Geometria
outros axiomas
- Axioma de Arquimedes ( número real )
- Axioma da countability ( topologia )
- Axioma fundamental da análise ( análise real )
- Colagem axioma ( teoria de feixes )
- Haag-Kastler axiomas ( teoria quântica de campos )
- Axiomas de Huzita ( origami )
- Axiomas de fecho Kuratowski ( topologia )
- Axiomas de Peano ( números naturais )
- axiomas de probabilidade
- Axiomas de separação ( topologia )
- Axiomas de Wightman ( teoria quântica de campos )