Set theory is the mathematical theory of the infinite. It is connected with model theory, computability, algebra, combinatorics, graph theory, topology, analysis, measure theory, category theory, game theory, theoretical computer science and philosophy of mathematics. The origins of set theory lie in Georg Cantor's theory of transfinite numbers (1874) and the axiomatization by Zermelo et al. (1908). Modern set theory began with the introduction of the method of forcing by Cohen (1963) and the independence of the continuum hypothesis. In the last decades, set theory has witnessed a renaissance as new research directions emerged.
Literature    Links