Zermelo–Fraenkel set theory (abbreviated ZF) is a system of axioms used to describe set theory. When the axiom of choice is added to ZF, the system is called ZFC. It is the system of axioms used in set theory by most mathematicians today.