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:

    It is in the nature of allegory, as opposed to symbolism, to beg the question of absolute reality. The allegorist avails himself of a formal correspondence between “ideas” and “things,” both of which he assumes as given; he need not inquire whether either sphere is “real” or whether, in the final analysis, reality consists in their interaction.
    Charles, Jr. Feidelson, U.S. educator, critic. Symbolism and American Literature, ch. 1, University of Chicago Press (1953)

    I think, therefore I am is the statement of an intellectual who underrates toothaches.
    Milan Kundera (b. 1929)