Axiom of Empty Set - Formal Statement

Formal Statement

In the formal language of the Zermelo–Fraenkel axioms, the axiom reads:

or in words:

There is a set such that no set is a member of it.

Read more about this topic:  Axiom Of Empty Set

Famous quotes containing the words formal and/or statement:

    Then the justice,
    In fair round belly with good capon lined,
    With eyes severe and beard of formal cut,
    Full of wise saws and modern instances;
    And so he plays his part.
    William Shakespeare (1564–1616)

    The new statement will comprise the skepticisms, as well as the faiths of society, and out of unbeliefs a creed shall be formed. For, skepticisms are not gratuitous or lawless, but are limitations of the affirmative statement, and the new philosophy must take them in, and make affirmations outside of them, just as much as must include the oldest beliefs.
    Ralph Waldo Emerson (1803–1882)