Set theory is the mathematical theory of sets. Set theory
is closely associated with the branch of mathematics known as logic.
There are a number of different versions of set theory, each with its own rules and axioms. In order of increasing consistency
strength, several versions of set theory include Peano
arithmetic (ordinary algebra), second-order arithmetic
(analysis), Zermelo-Fraenkel
set theory, Mahlo, weakly compact, hyper-Mahlo, ineffable, measurable, Ramsey,
supercompact, huge, and -huge
set theory.