**THE PARADOXES OF SET THEORY**

**Phillip E. Johnson**

**Department of Mathematics**

**UNC Charlotte**

**Charlotte, NC 28223-0001**

Georg Cantor created and largely developed set theory in approximately the latter quarter of the nineteenth century. Hardly had his work been completed before paradoxes began to appear. The first of the modern paradoxes was published by the Italian mathematician Cesare Burali-Forti (Burali-Forti, 1897, pp. 157-164) in the same year in which Cantor's last set-theoretical paper was published, 1897. The Burali-Forti paradox was apparently discovered earlier by Cantor himself (Fraenkel, 1930, p. 261).

A paradox markedly similar to the Burali-Forti paradox is the Cantor paradox of 1899 (published posthumously in 1932) concerned with cardinal numbers (Fraenkel, 1930, p. 261). The Burali-Forti paradox was concerned with ordinal numbers. Since more readers are familiar with cardinal numbers than with ordinal numbers, the Cantor paradox will be stated. Consider the cardinal number of the set of all sets. Clearly this is the greatest possible cardinal number. But by a standard theorem of intuitive set theory, the set of all subsets of a set has a greater cardinal number then the set itself. Therefore, the cardinal number of the set of all subsets of the set of all sets is greater than the greatest possible cardinal number, an obvious contradiction.

Whereas the Burali-Forti and Cantor paradoxes involve results of set theory, Bertrand Russell discovered in 1902 a paradox based on just the concept of set itself. The result was also discovered independently by Ernst Zermelo (Fraenkel and Bar-Hillel, 1958, p. 6). The paradox comes about by considering the set of all sets which have the property of not being members of themselves. For example, the set of all men is not a man, whereas the set of all sets is a set.

Suppose the set of all sets which are members of themselves is denoted
by __M__ , and the set of all sets which are not members of themselves
is denoted by __N__. Does __N__ belong to __M__? If __N__ is
a member of itself, then __N__ is a member of __M__ and not of __N__,
and __N__ is not a member of itself. Contrariwise, if __N__ is not
a member of itself, then __N__ is a member of __N__ and not of __M__,
and__ N__ is a member of itself. Since either case leads to a contradiction,
a paradox is apparent.

There are many popularized forms of the Russell paradox appearing in the literature. One of the best known of these forms was given by Russell in 1919 (Eves and Newsom, 1958, p. 283). A certain village barber shaves everyone in the village who does not shave himself. The question is, does the barber shave himself? If he shaves himself, then he should not according to the given principle; if he does not shave himself, then he should according to the principle.

Quite a number of other paradoxes arose in the early years following Burali-Forti's result. Some of these modern paradoxes, falling more or less within the context of set theory, can be seen to be related to several ancient paradoxes of logic. For example the Cretan philosopher Epimenides (sixth century B.C.) is supposed to have made the statement, "Cretans are always liars." This statement, if true, makes the speaker a liar for telling the truth. Paul quoted the statement in Epistle to Titus 1, 12, as by a Cretian prophet. The Epimenides paradox, known also as "the liar," appears in stark form in the statement attributed to Eubulides (fourth century B.C.): "This statement I am now making is false." The quoted statement can neither be true nor false without entailing a contradiction. (Kleene, 1952, p.39)

Another of the semantical (as opposed to logical or mathematical paradoxes) is the Richard paradox of 1905, significant since it is a sort of caricature of Cantor's well-known diagonal method (Richard, 1905, pp. 541-543). A simplification of Richard's paradox is due to G. G. Berry in 1906. Consider the expression, "the least natural number not namable in fewer than twenty-two syllables." This expression names in twenty-one syllables a natural number which by definition cannot be named in fewer than twenty-two syllables (Kleene, 1952, p. 39). Various modifications exist.

K. Grelling and L. Nelson called attention in 1908 to a paradox which they regarded as only a variant of Russell's paradox. The Grelling paradox can be stated quite simply. Among English adjectives there are some which have the property that they denote, such as "short," "polysyllabic," and "English." Let adjectives which have this property be called autological and all others be called heterological. In the latter class would be such adjectives as "long," "monosyllabic," "blue," and "hot." Paradoxically, the adjective "heterological" is heterological if and only if it is autological. (Fraenkel and Bar-Hillel, 1958, p. 10)

One of the more interesting paradoxes appeared in 1924 and was due to two distinguished Polish mathematicians, S. Banach and A. Tarski. Banach's and Tarski's work extended the implications of a paradoxical theorem due to the German mathematician Felix Hausforff. A popularized version of the paradox follows (Kasner and Newman, 1940, pp. 201-207).

Imagine two spheres in three-dimensional space, one very large (like
the sun, say) and the other very small (like a pea). Denote the large sphere
by __S__ and the small sphere by __P__. The entire solid spheres
of both __S__ and __P__ are being referred to, not just the surfaces
of the two spherical objects. The theorem of Banach and Tarski holds that
the following operations can theoretically be carried out:

Divide __S__ into a great many small parts. Each part is to be separate
and distinct and the totality of the parts is to be finite in number. Designate
these parts by s_{1}, s_{2}, s_{3}, ... ,s_{n}
. Together these small parts will make up the entire sphere __S__. Similarly
__P__ may be divided into an equal number of mutually exclusive parts,
p_{1}, p_{2}, p_{3}, ... ,p_{n}, which
together make up __P__. The proposition goes on to say that if __S__
and __P__ have been cut up in a suitable manner, so that the little
portion s_{1} of __S__ is congruent to the little portion p_{1}
of P, s_{2} congruent to p_{2}, s_{3} congruent
to p_{3}, up to s_{n} congruent to p_{n}, this
process will exhaust not only all the little portions of __P__, but
all the tiny portions of __S__ as well. In other words, __S__ and
__P__ may both be divided into a finite number of disjoint parts so
that every single part of one is congruent to a unique part of the other,
and so that after each small portion of __P__ has been matched with
a small portion of __S__, no portion of __S__ will be left over.
The paradox here lies not in the simple one-to-one correspondence between
the elements of the two sets, but in the fact that each element is matched
with one which is completely congruent to it.

The paradoxes cited, and others, have been an important stimulus to the study of questions in the foundations of mathematics. Semantical paradoxes such as the barber paradox can be dispensed with by noting that the village barber just could not do what the principle says. But such an explanation does not apply to some of the other paradoxes; in terms of logic as it was known in the nineteenth century, such paradoxical results are inexplicable.

Considerable work has been done by various groups and individuals aimed at eliminating the paradoxes from set theory. Probably the single most important contribution toward this end has been the axiomatizing of set theory, notably the axiomatizations known as the Zermelo-Fraenkel and von Neumann-Bernays-Goedel theories. The paradoxes have contributed importantly in bringing about contributions to the foundations. Cantor's initial stimulus of set theory was valuable both in itself and as a means for generating further discussion and research into the whole area of the foundations of mathematics.

**Notes on Sources**

This paper on the paradoxes of set theory is a reprint of an article
appearing in the fall 1997 issue of *Centroid*, a publication of the
North Carolina Council of Teachers of Mathematics (Kathy Ivey, Editor,
Mathematics Dept., Western Carolina University, Cullowhee, NC 28723). The
article is adapted from the author's *A History of Set Theory* (Prindle
Weber & Schmidt, Boston, 1972).

The first of the modern paradoxes may be found in Cesare Burali-forti's
1897 article, "Una questione sui numeri transfiniti," in *Rendiconti
del Circolo Mathemaico di Parermo II.* Abraham Adolf Fraenkel's "Georg
Cantor," published in 1930 in *Jahresbericht der Deutschen mathematiker
Vereinigung 39*, contains evidence that Cantor himself was aware of
the Burali-forti paradox and also gave a markedly similar paradox concerning
cardinal rather than ordinal numbers. A. A. Fraenkel's and Yehoshua Bar-Hillel's
*Foundations of Set Theory* (1958, Amsterdam: North-Holland Publishing
Company) gives an account of the paradox known as the Russell paradox,
also discovered by Ernst Zermelo. The famous popularization of the Russell
paradox may be found in the very readable account in *An Introduction
to the Foundations and Fundamental Concepts of Mathematics* by Howard
Eves and Carroll V. Newsom (1958, New York: Rinehard & Company, Inc.).
The Grelling paradox, regarded as a variant of the Russell paradox, is
discussed in the Fraenkel and Bar-Hillel book mentioned above. Some of
the logical paradoxes are given in Stephen Cole Kleene's Introduction to
Metamathematics (1952, New York: D. Van Nostrand Company, Inc.). The semantical
Richard paradox is found in Jules Richard's 1905 article, "Les principes
des mathematiques et le probleme des ensembles," in *Revue Generale
des Sciences Pures et Appliquees 16*. The last paradox discussed in
the paper, the Banach-Tarski paradox, is found in a highly readable popularization
in *Mathematics and the Imagination*, written by Edward Kasner and
James Newman (1940, New York: Simon and Schuster).

References

Burali-Forti, Cesare (1897). Una questione sui numeri transfiniti. __Rendiconti
del Circolo__

__Matematico di Parermo__ II.

Eves, Howard and Newsom, Carroll V. (1958). __An Introduction to the Foundations
and__ __Fundamental Concepts of Mathematics__. New York: Rinehart
& Company, Inc.

Fraenkel, Abraham Adolf (1930). Georg Cantor. __Jahresbericht der Deutschen__
__Mathematiker Vereinigung__, 39.

Fraenkel, A. A. and Bar-Hillel, Yehoshua (1958). __Foundations of Set
Theory__. Amsterdam: North-Holland Publishing Company.

Kasner, Edward and Newman, James (1940). __Mathematics and the Imagination__.
New York: Simon and Schuster.

Kleene, Stephen Cole (1952). __Introduction to Metamathematics__. New
York: D. Van Nostrand Company, Inc.

Richard, Jules (1905). Les principes des mathematiques et le probleme des
ensembles. __Revue Generale des Sciences Pures et Appliques__ 16.

Return to Archives

Return to Mathematical Connections Main Page