Zermelo–Fraenkel set theory
ZFC — Zermelo–Fraenkel set theory — is one of the foundations of modern mathematics.