In axiomatic set theory, the axiom of empty set,[1][2] also called the axiom of null set[3] and the axiom of existence,[4][5] is a statement that asserts the existence of a set with no elements.[3] It is an axiom of Kripke–Platek set theory and the variant of general set theory that Burgess (2005) calls "ST," and a demonstrable truth in Zermelo set theory and Zermelo–Fraenkel set theory, with or without the axiom of choice.[6]
^Cunningham, Daniel W. (2016). Set theory: a first course. Cambridge mathematical textbooks. New York, NY: Cambridge University Press. p. 24. ISBN 978-1-107-12032-7.
^"Set Theory | Internet Encyclopedia of Philosophy". Retrieved 2024-06-10.
^ abBagaria, Joan (2023), Zalta, Edward N.; Nodelman, Uri (eds.), "Set Theory", The Stanford Encyclopedia of Philosophy (Spring 2023 ed.), Metaphysics Research Lab, Stanford University, retrieved 2024-06-10
^Hrbacek, Karel; Jech, Thomas J. (1999). Introduction to set theory. Pure and applied mathematics (3. ed., rev. and expanded, [Repr.] ed.). Boca Raton, Fla.: CRC Press. p. 7. ISBN 978-0-8247-7915-3.
^Cite error: The named reference :3 was invoked but never defined (see the help page).
^Jech, Thomas J. (2003). Set theory (The 3rd millennium ed., rev. and expanded ed.). Berlin: Springer. p. 3. ISBN 3-540-44085-2. OCLC 50422939.
and 24 Related for: Axiom of empty set information
set theory, the axiomofemptyset, also called the axiomof null set and the axiomof existence, is a statement that asserts the existence of a set with...
the emptyset exists by including an axiomofemptyset, while in other theories, its existence can be deduced. Many possible properties ofsets are vacuously...
of axiomatic set theory, the axiom schema of specification, also known as the axiom schema of separation (Aussonderung Axiom), subset axiom or axiom schema...
axiomof choice, abbreviated AC or AoC, is an axiomofset theory equivalent to the statement that a Cartesian product of a collection of non-empty sets...
axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiomof pairing is one of the axiomsof Zermelo–Fraenkel...
The axiomof countable choice or axiomof denumerable choice, denoted ACω, is an axiomofset theory that states that every countable collection of non-empty...
axiomatic set theory and the branches of mathematics and philosophy that use it, the axiomof infinity is one of the axiomsof Zermelo–Fraenkel set theory...
the axiomof regularity (also known as the axiomof foundation) is an axiomof Zermelo–Fraenkel set theory that states that every non-emptyset A contains...
there can be only one emptyset. (See axiomofemptyset.) Although the emptyset has no members, it can be a member of other sets. Thus ∅ ≠ { ∅ } {\displaystyle...
In set theory, the axiom schema of replacement is a schema ofaxioms in Zermelo–Fraenkel set theory (ZF) that asserts that the image of any set under any...
non-emptyset. The axiomof global choice states that there is a global choice function τ, meaning a function such that for every non-emptyset z, τ(z)...
strategy Axiomof elementary sets describes the sets with 0, 1, or 2 elements Axiomofemptyset The emptyset exists Axiomof extensionality or axiomof extent...
the axiomof power set is one of the Zermelo–Fraenkel axiomsof axiomatic set theory. It guarantees for every set x {\displaystyle x} the existence of a...
The axiomof constructibility is a possible axiom for set theory in mathematics that asserts that every set is constructible. The axiom is usually written...
axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiomof extensionality, axiomof extension, or axiomof extent...
{\displaystyle S} is empty or every partial ordering of S {\displaystyle S} contains a maximal element. In ZF set theory without the axiomof choice, the following...
the whole of mathematics, particularly in the form of Zermelo–Fraenkel set theory with the axiomof choice. Besides its foundational role, set theory also...
inner model of ZF set theory (that is, of Zermelo–Fraenkel set theory with the axiomof choice excluded), and also that the axiomof choice and the generalized...
example, in the ZFC axioms), the existence of the power setof any set is postulated by the axiomof power set. The powerset of S is variously denoted...
axiomsof ZFC. The concept is named after John von Neumann, although it was first published by Ernst Zermelo in 1930. The rank of a well-founded set is...
specification replaced by the axiomofemptyset. Note that Specification is an axiom schema. The theory given by these axioms is not finitely axiomatizable...
The emptysetaxiom is already assumed by axiomof infinity, and is now included as part of it. Zermelo set theory does not include the axiomsof replacement...