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)
“The writer who neglects punctuation, or mispunctuates, is liable to be misunderstood.... For the want of merely a comma, it often occurs that an axiom appears a paradox, or that a sarcasm is converted into a sermonoid.”
—Edgar Allan Poe (1809–1845)
“The angels yawning in an empty heaven;
Alternate shows of dynamite and rain;
And choosing forced on free will: fire or ice.”
—Philip Larkin (1922–1986)
“The cunningest dissimulation is when a man pretends to be caught in the traps others set for him; and a man is never so easily over-reached as when he is contriving to over-reach others.”
—François, Duc De La Rochefoucauld (1613–1680)