extendible cardinal axiom

GPTKB entity