State/Axiom of power sets