Axiomatic Set Theory
Although initially naive set theory, which defines a set merely as any well-defined collection, was well accepted, it soon ran into several obstacles. It was found that this definition spawned several paradoxes, most notably:
- Russell's paradox—It shows that the "set of all sets which do not contain themselves," i.e. the "set" { x : x is a set and x ∉ x } does not exist.
- Cantor's paradox—It shows that "the set of all sets" cannot exist.
The reason is that the phrase well-defined is not very well defined. It was important to free set theory of these paradoxes because nearly all of mathematics was being redefined in terms of set theory. In an attempt to avoid these paradoxes, set theory was axiomatized based on first-order logic, and thus axiomatic set theory was born.
For most purposes however, naive set theory is still useful.
Read more about this topic: Set (mathematics)
Famous quotes containing the words axiomatic, set and/or theory:
“It is ... axiomatic that we should all think of ourselves as being more sensitive than other people because, when we are insensitive in our dealings with others, we cannot be aware of it at the time: conscious insensitivity is a self-contradiction.”
—W.H. (Wystan Hugh)
“I never yet feared those men who set a place apart in the middle of their cities where they gather to cheat one another and swear oaths which they break.”
—Herodotus (c. 484–424 B.C.)
“every subjective phenomenon is essentially connected with a single point of view, and it seems inevitable that an objective, physical theory will abandon that point of view.”
—Thomas Nagel (b. 1938)