Axioma de Martin

Esta página cita fontes, mas que não cobrem todo o conteúdo. Ajude a inserir referências (Encontre fontes: ABW  • CAPES  • Google (notícias • livros • acadêmico)). (Fevereiro de 2015)

No campo matemático da teoria dos conjuntos, o axioma de Martin, introduzido por Donald A. Martin e Robert M. Solovay (1970), é uma sentença que é independente dos axiomas da teoria dos conjuntos de ZFC. Esta é implícita pela hipótese contínua, mas é consistente com ZFC e a negação da hipótese contínua. Informalmente, ele afirma que todos os cardinais menores que a cardinalidade do contínuo, c, se comportam aproximadamente como ${\displaystyle \aleph _{0}}$. A intuição por trás disso pode ser entendida através do estudo da prova do lema de Rasiowa–Sikorski. É um princípio que é usado para controlar alguns argumentos de forcing.