Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Modern set theory is the foundation of much of mathematics, providing a language for describing functions, numbers, and structures.