체르멜로-프렝켈 집합론
ZFC — Zermelo–Fraenkel set theory — is one of the foundations of modern mathematics.