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:

    True variety is in that plenitude of real and unexpected elements, in the branch charged with blue flowers thrusting itself, against all expectations, from the springtime hedge which seems already too full, while the purely formal imitation of variety ... is but void and uniformity, that is, that which is most opposed to variety....
    Marcel Proust (1871–1922)

    It is commonplace that a problem stated is well on its way to solution, for statement of the nature of a problem signifies that the underlying quality is being transformed into determinate distinctions of terms and relations or has become an object of articulate thought.
    John Dewey (1859–1952)