ZFC adalah akronim dari teori himpunan Zermelo-Fraenkel dengan aksioma pilihan, yang merupakan fondasi umum yang disepakati untuk matematika. Teori ini terdiri dari sembilan aksioma yang tidak dapat dibuktikan, tetapi dianggap sebagai dasar yang alami untuk pengembangan lebih lanjut dalam matematika.