Pi-1-1 Comprehension Axiom

GPTKB entity