Axiomatic set theory

The foundational branch of set theory based on axioms.