strongly compact cardinal axiom

GPTKB entity