Mahlo cardinal axiom

GPTKB entity