the axiom of power set is one of the Zermelo–Fraenkel axioms of axiomatic set theory. It guarantees for every set x {\displaystyle x} the existence of a...

example, in the ZFC axioms), the existence of the power set of any set is postulated by the axiom of power set. The powerset of S is variously denoted...

theory of sets free of paradoxes such as Russell's paradox. Today, Zermelo–Fraenkel set theory, with the historically controversial axiom of choice (AC)...

axiomatic set theory and the branches of mathematics and philosophy that use it, the axiom of infinity is one of the axioms of Zermelo–Fraenkel set theory...

axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom of pairing is one of the axioms of Zermelo–Fraenkel...

the whole of mathematics, particularly in the form of Zermelo–Fraenkel set theory with the axiom of choice. Besides its foundational role, set theory also...

In set theory, the axiom schema of replacement is a schema of axioms in Zermelo–Fraenkel set theory (ZF) that asserts that the image of any set under any...

The axiom of constructibility is a possible axiom for set theory in mathematics that asserts that every set is constructible. The axiom is usually written...

union Axiom of infinity Axiom schema of replacement Axiom of power set Axiom of regularity Axiom schema of specification See also Zermelo set theory...

In set theory, the axiom of limitation of size was proposed by John von Neumann in his 1925 axiom system for sets and classes. It formalizes the limitation...

subclass of a set b {\displaystyle b} , so the axiom of separation implies ∪ a {\displaystyle \cup a} is a set. Likewise, the axiom of power set states...

the axiom of regularity (also known as the axiom of foundation) is an axiom of Zermelo–Fraenkel set theory that states that every non-empty set A contains...

of axiomatic set theory, the axiom schema of specification, also known as the axiom schema of separation (Aussonderungsaxiom), subset axiom, axiom of...

set theory, the axiom of union is one of the axioms of Zermelo–Fraenkel set theory. This axiom was introduced by Ernst Zermelo. Informally, the axiom...

The axiom of extensionality, also called the axiom of extent, is an axiom used in many forms of axiomatic set theory, such as Zermelo–Fraenkel set theory...

the axiom of choice, abbreviated AC or AoC, is an axiom of set theory equivalent to the statement that a Cartesian product of a collection of non-empty...

the unary predicate. AXIOM I. Axiom of extensionality (Axiom der Bestimmtheit) "If every element of a set M is also an element of N and vice versa ......

omitting the axioms Union, Power Set, Elementary Sets (essentially Pairing) and Infinity and then taking a theorem of Z, Adjunction, as an axiom. The natural...

The axiom of countable choice or axiom of denumerable choice, denoted ACω, is an axiom of set theory that states that every countable collection of non-empty...

inner model of ZF set theory (that is, of Zermelo–Fraenkel set theory with the axiom of choice excluded), and also that the axiom of choice and the generalized...

an axiom is a premise or starting point for reasoning. In mathematics, an axiom may be a "logical axiom" or a "non-logical axiom". Logical axioms are...

or the axiom of regularity and axiom of pairing. In Zermelo–Fraenkel set theory, the axiom of regularity and axiom of pairing prevent any set from containing...

the power set operator. Therefore, the existence of the Cartesian product of any two sets in ZFC follows from the axioms of pairing, union, power set, and...

list of articles related to set theory. Algebra of sets Axiom of choice Axiom of countable choice Axiom of dependent choice Zorn's lemma Axiom of power set...

the empty set exists by including an axiom of empty set, while in other theories, its existence can be deduced. Many possible properties of sets are vacuously...

probability axioms are the foundations of probability theory introduced by Russian mathematician Andrey Kolmogorov in 1933. These axioms remain central...

theorem does not rely on the axiom of choice. Cantor's theorem implies that no set is equinumerous to its power set (the set of all its subsets). This holds...

is a set if and only if it has smaller cardinality than the class of all sets Axiom of pairing Unordered pairs of sets are sets Axiom of power set The...

The nine Peano axioms contain three types of statements. The first axiom asserts the existence of at least one member of the set of natural numbers....

the axiom of infinity) is infinite. It is the only set that is directly required by the axioms to be infinite. The existence of any other infinite set can...