Axiome de Martin

En théorie des ensembles, l'axiome de Martin, introduit par Donald A. Martin et Robert M. Solovay en 1970^[1], est un énoncé indépendant de ZFC, l'axiomatique usuelle de la théorie des ensembles. C'est une conséquence de l'hypothèse du continu, mais l'axiome de Martin est également cohérent avec la négation de celle-ci. Informellement, l'axiome de Martin affirme que tous les cardinaux strictement inférieurs à ${\displaystyle 2^{\aleph _{0}}}$ se comportent comme ${\displaystyle \aleph _{0}}$. C'est une généralisation du lemme de Rasiowa-Sikorski (en).