Π^1 1 comprehension axiom

GPTKB entity