👉 Axiomatic set theory is a branch of mathematical logic that focuses on axioms and their consistency. It was developed by mathematician David Hilbert in the 19th century, but it has been extensively used since then to construct new theories and concepts. Axioms are statements that are assumed to be true without proof or argument.