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:

    I will not let him stir
    Till I have used the approvèd means I have,
    With wholesome syrups, drugs, and holy prayers,
    To make of him a formal man again.
    William Shakespeare (1564–1616)

    Truth is that concordance of an abstract statement with the ideal limit towards which endless investigation would tend to bring scientific belief, which concordance the abstract statement may possess by virtue of the confession of its inaccuracy and one-sidedness, and this confession is an essential ingredient of truth.
    Charles Sanders Peirce (1839–1914)