''Martin''s axiom'' is one of the most fruitful axioms which have been devised to show that certain properties are insoluble in standard set theory. It has important applications m set theory infinitary combinatorics general topology measure theory functional analysis and group theory.