Axiomatic set theory is a branch of mathematical logic that uses a formal system to define sets and their relationships, providing a foundation for much of modern mathematics. It addresses paradoxes and inconsistencies in naive set theory by introducing axioms that precisely dictate how sets can be constructed and manipulated.