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 is an axiom in political science that unless a people are educated and enlightened it is idle to expect the continuance of civil liberty or the capacity for self-government.”
—Texas Declaration of Independence (March 2, 1836)
“I did never know so full a voice issue from so empty a heart.
But the saying is true: “The empty vessel makes the greatest
sound.””
—William Shakespeare (1564–1616)
“Scholarship cannot do without literature.... It needs literature to float it, to set it current, to authenticate it to all the race, to get it out of closets and into the brains of men who stir abroad.”
—Woodrow Wilson (1856–1924)