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)
“In the eighth, Hermanski smashed a drive to the scoreboard. Henrich backed against the board and leaped either four or fourteen feet into the air. He stayed aloft so long he looked like an empty uniform hanging in its locker. When he came down he had the ball.”
—Walter Wellesley (Red)
“Reason is natural revelation, whereby the eternal father of light, and fountain of all knowledge, communicates to mankind that portion of truth which he has laid within the reach of their natural facilities: Revelation is natural reason enlarged by a new set of discoveries communicated by God immediately, which reason vouches the truth of, by the testimony and proofs it gives, that they come from God.”
—John Locke (1632–1704)