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 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)

    The water never formed to mind or voice,
    Like a body wholly body, fluttering
    Its empty sleeves; and yet its mimic motion
    Made constant cry,
    Wallace Stevens (1879–1955)

    Anyone who seeks for the true causes of miracles, and strives to understand natural phenomena as an intelligent being, and not to gaze at them like a fool, is set down and denounced as an impious heretic by those, whom the masses adore as the interpreters of nature and the gods. Such persons know that, with the removal of ignorance, the wonder which forms their only available means for proving and preserving their authority would vanish also.
    Baruch (Benedict)