One of several approaches to set theory, consisting of a formal language for talking about sets and a collection of axioms describing how they behave.