Martin's axiom

GPTKB entity