Axioma de Martin

En teoría de conjuntos, el axioma de Martin, introducido por Donald A. Martin y Robert M. Solovay, ^[1]​ es una afirmación que es independiente de los axiomas habituales de la teoría de conjuntos ZFC. La afirmación está implícita en la hipótesis del continuo, pero es consistente con ZFC y la negación de la hipótesis del continuo. Informalmente, dice que todos los cardinales menores que la cardinalidad del continuo, ${\displaystyle {\mathfrak {c}}}$, se comportan aproximadamente como ${\displaystyle \aleph _{0}}$. La intuición detrás de este hecho se puede entender estudiando la demostración del lema de Rasiowa-Sikorski. Es un principio que se utiliza para controlar ciertos argumentos de forcing .

1. ↑ Error en la cita: Etiqueta <ref> no válida; no se ha definido el contenido de las referencias llamadas MartinSolovay1970