A collection of axioms that works as a foundation for most of the math people are interested in doing.
The most common variant (ZFC) includes the axiom of choice, but you can also exclude it (ZF).