Axiom of unrestricted comprehension

GPTKB entity