ZFC estas mallongigo por la aroteorio laŭ Zermelo kaj Fraenkel, kun la aksiomo de elekto (angle choice, france choix).
