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)
“But beauty is set apart,
beauty is cast by the sea,
a barren rock,
beauty is set about
with wrecks of ships....”
—Hilda Doolittle (1886–1961)
“There could be no fairer destiny for any physical theory than that it should point the way to a more comprehensive theory in which it lives on as a limiting case.”
—Albert Einstein (1879–1955)