 Proper forcing axiom

In the mathematical field of set theory, the proper forcing axiom ("PFA") is a significant strengthening of Martin's axiom, where forcings with the countable chain condition (ccc) are replaced by proper forcings.A forcing or partially ordered set P is proper if for all regular uncountable cardinals formula_1, forcing with P preserves stationary subsets of formula_2.