 Martin's maximum is the strongest possible version of a forcing axiom.Forcing axioms are viable candidates for extending the axioms of set theory as an alternative to large cardinal axioms.The Fundamental Theorem of Proper Forcing, due to Shelah, states that any countable support iteration of proper forcings is itself proper.