Axiom of power set
Concept in axiomatic set theory / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Axiom of power set?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
In mathematics, the axiom of power set[1] is one of the Zermelo–Fraenkel axioms of axiomatic set theory. It guarantees for every set the existence of a set , the power set of , consisting precisely of the subsets of . By the axiom of extensionality, the set is unique.
This article includes a list of general references, but it lacks sufficient corresponding inline citations. (May 2020) |
The axiom of power set appears in most axiomatizations of set theory. It is generally considered uncontroversial, although constructive set theory prefers a weaker version to resolve concerns about predicativity.