Russell's paradox

From Wikiversity
Jump to navigation Jump to search

To simplify our understanding of Russell's paradox, we consider only positive integers (1,2,3...) and sets that "involve"[1] positive integers. Like any discipline in mathematics, set theory requires careful attention to definitions. In this discussion, we shall not be concerned with rigor, and instead focus on an informal introduction to the paradox.

Exploring our "universe" of sets, U*[edit | edit source]

First, we need to discuss what kinds of sets we wish to consider. In the language of set theory, we need to define our "universe". We begin with the obvious sets associated with positive integers, namely, sets that contain one or more positive integers. Three such sets are shown below:

{2}, {4,2} and {1,2,6} 

It is understood that {4,2} and {2,4} are the same set, and that this set contains two integers. Two other sets immediately come to mind:

{1,2,3,4,...} and {}

The first of the two sets shown above is the set of all positive integers, while the other set is called the empty set because it contains no elements. It is convenient to give the empty set a symbol:

∅ ≡ {}
Humpty Dumpty Tenniel-When I use a word.png

Why have we allowed ∅ to be in our "universe"? It's a matter of how we decide to define U*. One might argue that ∅ somehow "involves" a positive integer in that it excludes positive integers. But ultimately, the argument is not one of semantics but free will. How does the author or reader wish to define the universe? In this essay, the ∅ was introduced primarily in order to highlight the use of symbols, or "labels" in discussions of set theory. It would be nearly impossible to explain Russell's paradox without being able to "label" or "name" sets.

Next, we introduce the idea that a set can contain a set by expanding our "universe" to include other types of sets that involve positive integers. Consider:

 X = {2, {2}, {2,7} },

where we have chosen to use the ubiquitous "X" of elementary algebra to represent a set that contains three elements: 2, the set that contains 2, and the set the contains both 2 and 7. Now we introduce the concept of a set that contains itself as a member.

 Y = {2,Y} = {2,  {2, {2,...} } }

Or carrying the iteration (...) one step further:

Y = { 2, Y } =  {2,  {2,  {2, {2,...}  }

The set Y contains only two elements. And, it is an example of self referencing.

For our purposes, the "universe", U*, contains only sets involving positive integers. We shall include sets like X and Y in our universe.

Divide our "universe" into two sets[edit | edit source]

Though this seems like a simple definition, our definition of U* leads to a bewildering collection of sets. For example, {2}, {{2}}, and {{{2}}} are all distinctly different sets in of U* that involve only the integer "2". Following Wikipedia's informal presentation of Russell's paradox, we define the set of all sets that do not contain themselves as elements, and call this the normal[2] set, R. The set X described above is an element of R because X is not an element of X. But Y={2,Y} is an element of Y, and therefore, Y is not a "normal" set, or not an element of R.

X = {2, {2}, {2,7} }R
Y = {2,Y} ∉ R

Here, the symbol ∈ is introduced to denote "is in", while ∉ denotes "is not in".

Common notions[edit | edit source]

In the 19th century, mathematicians began to appreciate the complexities associated with declaring ideas to be common notions. We shall nevertheless adopt the point of view that every set either is, or is not, an element of R. And it is reasonable to include R in our universe, U*, because R does involve positive integers.

The paradox: Is R ∈ R or is R ∉ R?[edit | edit source]

To put it bluntly,

If R is in R, then it does not contain itself, and therefore R is not in R.


If R is not in R, then it is a normal set, and therefore R is in R.

Footnotes and references[edit | edit source]

  1. We will see that "involve" has a rather subtle meaning here.
  2. "Normal" can mean almost anything a mathematician chooses it to mean. See w:Special:Permalink/748284238#Mathematics.