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 antinomy), so a less sweeping and more formal theory known as axiomatic set theory must be used.