axiom of power set

GPTKB entity