A branch of mathematics which attempts to formalize the nature of the Set using a minimal collection of independent axioms. Unfortunately, as discovered by its earliest proponents, naive set theory quickly runs into a number of Paradoxes (such as Russell's Paradox), so a less sweeping and more formal theory known as Axiomatic Set Theory must be used.
See also Axiomatic Set Theory, Russell's Paradox, Set Theory