Axiom of Empty Set

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)

    “I’ve learned one thing about life. We’re a good deal like that ball, dancing on the fountain. We know as little about the forces that move us, and move the world around us, as that empty ball does.”
    —Ardel Wray, Edward Dien, and Jacques Tourneur. Dr. Galbraith(James Bell)

    “Nothing comes to pass in nature, which can be set down to a flaw therein; for nature is always the same and everywhere one and the same in her efficiency and power of action; that is, nature’s laws and ordinances whereby all things come to pass and change from one form to another, are everywhere and always; so that there should be one and the same method of understanding the nature of all things whatsoever, namely, through nature’s universal laws and rules.”
    —Baruch (Benedict)