Ernst Zermelo |

- In 1899 he discovered
, two years before Russell. Although he did not publish it, he did comment it with his colleagues at the University of Göttingen, such as David Hilbert. Russell’s paradox proved that Cantor’s set theory is inconsistent, since it makes it possible to build*Russell’s paradox*. There are sets that don’t belong to themselves, such as the set of even numbers, which is not an even number. Others do belong to themselves, such as the set of infinite sets, which is an infinite set. Now we can ask ourselves:*the set of all sets that don’t belong to themselves*This question leads us to a paradox: if it does belong, it must belong; and if it doesn’t belong, it mustn’t belong.*Does the set of all the sets that don’t belong to themselves belong to itself?* - In 1904 he proved
as the first step towards proving*the well-ordering theorem*, the first of Hilbert’s 23 unsolved problems. The well-ordering theorem states that*the continuum hypothesis*, which means that any non-empty ordered subset must have a minimum element. To prove it, he proposed*every set can be well-ordered*, which we will discuss later.*the axiom of choice* - In 1905 he began to work on an axiomatic set theory. His system,
improved in 1922 by Adolf Fraenkel, is a set of 8 axioms, which today is
called
(ZF) system. Adding the axiom of choice to this system, we obtain the ZFC system, which is most used today in set theory.*the Zermelo-Fraenkel*

What does the axiom of choice say? This:

*The Cartesian product of a collection of non-empty sets is non-empty.*
In other words:

**.***if we have a certain number of sets, all of which have at least one element, it is possible to build a set by taking an element from each of the previous sets*
It seems a truism, and if the number of those sets is finite, it is
clear that it is true.

**Then it’s not so obvious. For some time, many mathematicians refused to accept the axiom of choice, although today almost everyone accepts it.***But what happens if the number of sets is infinite?*Bertrand Russell |

Bertrand Russell proposed an illustration of the axiom of choice that
explains why it is so called. Suppose we have an infinite set of boxes each of
which contains a pair of shoes. We can build a new set, with one shoe of each
pair, by choosing from each set (for instance) the left foot shoe. On the other
hand, if we have an infinite set of boxes with pairs of socks, where we don’t
know which sock corresponds to the left foot and which to the right foot, we don’t
see at first sight how that selection can be made. Zermello's axiom of choice asserts
that we can always find a selection criterion (although it does not tell us
what it is) that makes it possible to build a new set with one sock of every
pair.

From the axiom of choice follows Zorn’s Lemma, which states that

**.***every partially ordered set, in which every totally ordered non-empty subset has an upper bound, contains at least one maximal element*
Explanation: In a partially ordered set, you can define a sorting
criterion (≤) that decides how elements should be ordered, although that
criterion does not have to apply to all possible pairs of elements in the set.
If it can be applied to every pair of elements, the set is totally ordered. An
upper bound of a set is an element that is greater than or equal to all the others
in the set, according to the sorting criterion. The maximal element is one that
is not less than any other.

The mathematical journal

**of the University of Warwick, number 6 (1970, pp. 50-51) contains an article by Vox Fisher entitled***Manifold***, which proves the existence of God using the axiom of choice. This is the proof:***Ontology Revisited*
Theorem:

**.***The axiom of choice is equivalent to the existence of a unique God*
Proof: Consider the set of all the properties of all
beings. The subsets of that set can be ordered by inclusion. This ordering is
partial, for given a pair of subsets, one subset is not always included in the
other. According to Zorn’s Lemma, the set in question must contain at least one
maximal element. Let’s call this element

**. On the other hand,***God***is one of the properties of some beings. The following is obviously true:***Existence*

*God*

*Í*

*God*

*È*

*{Existence}*
But if God is a maximal element, this element can’t
be less than any other element, thus:

*God = God*

*È*

*{Existence}*
Therefore God has the property of existence.

**.***Ergo God exists*
The remainder of the article proves the uniqueness
of the maximal element, i.e. that God is unique.

It can be seen that this mathematical proof of the existence of God is
equivalent to St. Anselm’s ontological proof (hence the title of the article).
It is curious that, although St. Anselm’s proof is not currently accepted by
many philosophers, it is well seen by some mathematicians. Kurt
Gödel’s mathematical proof for the existence of God is also based on the
ontological proof, although it follows a different procedure.

**The same post in Spanish**

**Thematic Thread on Science and Religion: Previous Next**

**Thematic Thread on Mathematics: Previous Next**

**Manuel Alfonseca**

## No comments:

## Post a Comment