The Axiom of Separation
Zermelo comments that Axiom III of his system is the one responsible for eliminating the antinomies. It differs from the original definition by Cantor, as follows.
Sets cannot be independently defined by any arbitrary logically definable notion. They must be constructed in some way from previously constructed sets. For example they can be constructed by taking powersets, or they can be separated as subsets of sets already "given". This, he says, eliminates contradictory ideas like "the set of all sets" or "the set of all ordinal numbers".
He disposes of the Russell paradox by means of this Theorem: "Every set possesses at least one subset that is not an element of ". Let be the subset of for which, by AXIOM III, is separated out by the notion "". Then cannot be in . For
- If is in, then contains an element x for which x is in x (i.e. itself), which would contradict the definition of .
- If is not in, and assuming is an element of M, then is an element of M that satisfies the definition "", and so is in which is a contradiction.
Therefore the assumption that is in is wrong, proving the theorem. Hence not all objects of the universal domain B can be elements of one and the same set. "This disposes of the Russell antinomy as far as we are concerned".
This left the problem of "the domain B" which seems to refer to something. This led to the idea of a proper class.
Read more about this topic: Zermelo Set Theory
Famous quotes containing the words axiom and/or separation:
“It is an axiom in political science that unless a people are educated and enlightened it is idle to expect the continuance of civil liberty or the capacity for self-government.”
—Texas Declaration of Independence (March 2, 1836)
“Last evening attended Croghan Lodge International Order of Odd Fellows. Election of officers. Chosen Noble Grand. These social organizations have a number of good results. All who attend are educated in self-government. This in a marked way. They bind society together. The well-to-do and the poor should be brought together as much as possible. The separation into classes—castes—is our danger. It is the danger of all civilizations.”
—Rutherford Birchard Hayes (1822–1893)