unrestricted comprehension axiom

GPTKB entity