Axioms: Sets (Russell’s Paradox)

russell
Bertrand Russell (1872-1970)

It isn’t too often that we think about or even explore the fundamental building blocks of mathematics. These building blocks are called axioms. Axioms are statements taken to be true, i.e. they cannot be proven. This causes mathematicians, whether they know it or not, to take a lot of things on faith. All of modern mathematics is built on top of axiomatic systems, which is a list of axioms from which one can logically derive theorems. We further require that no axiom on the list can be proven by using other axioms. In this series we will look at some interesting axioms and axiomatic systems that govern mathematics. We will begin with perhaps one of the most important systems and that is sets. One could argue that the system of logic used is the most important. We are assuming a working knowledge of tools used in logic, and will forgo formalizing such a thing. We often think about an axiomatic system like a tree.

axfig1

But first let us get a feel for why an axiomatic system is so important. This brings us to something called naive set theory. This naive set theory is an example of common occurrences in mathematics in which we define things by using natural language. We often wind up tossing words around until someone formalizes an idea. This happened with set theory.

DEFINITION: The collection of all things satisfying a property forms a set. In symbols, if  P(x) is the statement “x has property P“, then a set can be written in the form \{x\mid P(x) = True\}.

From this definition one can deduce that the collection of all things that are sets is a set. In symbols, if S(x) is the statement x is a set, then X = \{x \mid S(x)\ = True\} is a set. But this means X contains itself. Now that we know one exists, let us call all sets that contain themselves abnormal. In symbols, a set A is abnormal if A\in A. Where \in means is an element of.

Obviously \{1, 2, 3\} does not contain itself as a set. We will call these sets normal. In symbols, a set B is normal if B \notin B. It is clear that these two definitions are exclusionary and all sets are either normal or abnormal. Now consider the following set.

R = \{ A\mid A\notin A\}.

This is simply the collection of all normal sets. By definition, this is indeed a set. But now it must either be normal or abnormal. If R is normal, then R\notin R. By definition of R we have R \in R which is a contradiction.

On the other hand if R is abnormal then R\in R, hence by definition of R we have $R\notin R$ another contradiction. We conclude that R is neither normal nor abnormal. Which is our ultimate contradiction which tells us that naive set theory is inconsistent.

vertigo-clipart-Dizziness

 

This example is known as Russell’s Paradox (1901) and it has many equivalents in naive set theory). Even though naive set theory has this major flaw, it is still very useful in teaching and introducing students to the real heart of mathematics. In the next post we will explore the Zermelo-Fraenkel (ZF) axiomatic system which is the most widely used system in mathematics today. We will also make note of ZFC which includes the historically controversial Axiom of Choice.

Advertisements

4 thoughts on “Axioms: Sets (Russell’s Paradox)

    1. This is an excellent read. It almost seems as if he is saying that the best we can say about number is that it is a property that classes have. I wonder if the number of a father is 1. 1 would be the class of all fathers. But 1 would also be the class of all mothers. And 1 would be the class of all children. But if we consider twins, then 2 would be the class of all twins just as it is the class of all couples. This seems to line up with what he was saying that a couple is not a property of 2 rather 2 is a property shared by all couples. And all twins which is a subclass of all couples.

      Like

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s