Axiom of Constructibility

GPTKB entity