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)
“Hast ever ben in Omaha
Where rolls the dark Missouri down,
Where four strong horses scarce can draw
An empty wagon through the town?
Where sand is blown from every mound
To fill your eyes and ears and throat;
Where all the steamboats are aground,
And all the houses are afloat?...
If not, take heed to what I say,
You’ll find it just as I have found it;
And if it lies upon your way
For God’s sake, reader, go around it!”
—For the State of Nebraska, U.S. public relief program (1935-1943)
“I set forth notions that are human and my own, simply as human notions considered in themselves, not as determined and decreed by heavenly ordinance.”
—Michel de Montaigne (1533–1592)