Axiom of power set

English

Proper noun

1. Template:Lb The axiom that the power set of any set exists and is a valid set, which appears in the standard axiomatisation of set theory, ZFC.
   • Template:Quote-book
   • Template:Quote-book
   • Template:Quote-book
   • 2012, Template:W, Template:W (editor), Mathematical Logic: An Introduction to Model Theory, Plenum Press, Softcover, page 292,

     The Axiom of Power Set asserts that the collection of all subsets of a set is a set.Template:...Adding the Axiom of Power Set compels the collection $\{\mathrm{\varnothing }\}$ to be a set.

Synonyms

• Template:Sense Template:L

Translations

• Finnish: Template:T
• Italian: Template:T

Further reading

• Template:Pedia