Suponha a hipótese do contínuo. Portanto não existe $\kappa$ cardinal tal que $\omega < \kappa < \mathfrak {c}$. Como MA$_{\mathfrak {c}}$ não vale e MA$_{\omega}$ vale, segue que MA vale.