Proof That the Set of All Ordinal Numbers Does Not Exist

To prove that the set of all ordinal numbers does not exist, first prove that any set of ordinal numbers is well ordered. Suppose that a set A of ordinal numbers exists which is not well ordered. Then at least one subset B exists that does not have a least element. This set must contain a strictly decreasing sequence of ordinal numbers

This sequence is a subset of the setand this set is not well ordered because it contains a strictly decreasing infinite sequence. This is a contradiction sois well ordered.

Now suppose that a setof all ordinal numbers exists. By the argument above this set is well ordered. Letbe the ordinal number ofwith the orderingonmust be an element ofWe then have

This is a contradiction so there is no set of all ordinal numbers.

Add comment

Security code
Refresh