체르멜로-프렝켈 집합론
ZF stands for Zermelo–Fraenkel set theory, and DC for the axiom of dependent choice.