Reinhardt cardinal axiom

GPTKB entity