In axiomatic set theory, the axiom of empty set 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.
Read more about Axiom Of Empty Set: Formal Statement, Interpretation
Famous quotes containing the words axiom of, axiom, empty and/or set:
“It’s an old axiom of mine: marry your enemies and behead your friends.”
—Robert N. Lee. Rowland V. Lee. King Edward IV (Ian Hunter)
“It’s an old axiom of mine: marry your enemies and behead your friends.”
—Robert N. Lee. Rowland V. Lee. King Edward IV (Ian Hunter)
“Virtue is beauty, but the beauteous evil.
Are empty trunks o’erflourished by the devil.”
—William Shakespeare (1564–1616)
“We Russians have assigned ourselves no other task in life but the cultivation of our own personalities, and when we’re barely past childhood, we set to work to cultivate them, those unfortunate personalities.”
—Ivan Sergeevich Turgenev (1818–1883)