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)
“It is a great mistake to suppose that clever, imaginative children ... should content themselves with the empty nonsense which is so often set before them under the name of Children’s Tales. They want something much better; and it is surprising how much they see and appreciate which escapes a good, honest, well- informed papa.”
—E.T.A.W. (Ernst Theodor Amadeus Wilhelm)
“A more secret, sweet, and overpowering beauty appears to man when his heart and mind open to the sentiment of virtue. Then he is instructed in what is set above him. He learns that his being is without bound; that to the good, to the perfect, he is born, low as he now lies in evil and weakness.”
—Ralph Waldo Emerson (1803–1882)