Axiom: Axiom of Empty Set (Ernst Zermelo 1908)deleteeditadd to favorites[id:666]vote: last edited 1 week ago by bookofproofs There is an (improper) set, called the null set or the empty set, denoted by \(\emptyset\), which does not contain any elements. \[\exists X~\forall y~y\notin X.\] References [656] Hoffmann, Dirk W.: “Grenzen der Mathematik - Eine Reise durch die Kerngebiete der mathematischen Logik”, Spektrum Akademischer Verlag, 2011 What follows from what?This is (experimental) work in progress - if you miss an axiom, a definition, a theorem or a proof, if you find any inconsistencies you want to correct, or just know about a cool example or explanation you want to share with others, then join our team and help to improve this catalogue. Learn more about the axiomatic approach on BoP...Contribute to BoP: add a new Corollary add add a new Definition add add a new Motivation add add a new Example add add a new Application add add a new Explanation add add a new Interpretation add add a new Comment (Branch) add |
Terms of Use
|
Privacy Policy
|
Imprint
|
This site is a private offer. All rights reserved.
The contents of book of proofs are licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License.
The contents of book of proofs are licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License.