Linked from

The 6 pages that link to Axiom of Power Set, each with the reason it gives.

• Gödel's constructible universeCompared with: L’s successor stage selects definable subsets rather than taking the full power set.

• Axiom schema of replacementCompared with: Power set collects subsets directly, whereas replacement collects outputs of definable functions.