Set theory studies sets, the fundamental building blocks of mathematics. While logic describes the language of all mathematics, set theory provides the framework for additional structures. In Cantorian set theory, one can compute with subsets of a given set X like with numbers.