Axiom of power set

GPTKB entity