Martin's Axiom

Abstract

The axioms of ZFC provide a foundation for mathematics, however, there are statements independent of ZFC, such as the Continuum Hypothesis (CH). We discuss Martin's axiom, which is an alternative to CH that roughly states that if there is a cardinal strictly between $\omega$ and $2^{\omega}$ it "behaves" like $\omega$.