candidate: 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 .