Zermelo–Fraenkel set theory
ZF stands for Zermelo–Fraenkel set theory, and DC for the axiom of dependent choice.