La teoría de conjuntos fue creada por Georg Cantor y estudia las propiedades y relaciones de conjuntos abstractos. Tomó 23 años formularla formalmente entre 1872 y 1895. Unifica las matemáticas y permite comprender nuevos conceptos, pero también surgen paradojas como las encontradas por Russell. Define operaciones básicas como unión, intersección y diferencia para manipular conjuntos. Las teorías axiomáticas de conjuntos usan axiomas precisos para derivar propiedades de conjuntos con rigor matemático.