text: # ZFC
  
  ## Français
  
  ### Étymologie
  
      (XXᵉ siècle) Initiales de théorie des ensembles de Zermelo-Fraenkel, avec axiome du choix.
  
  ### Nom commun
  
  ZFC \zɛd.ɛf.se\ (Sigle)
  
  * (Mathématiques) Théorie des ensembles de Zermelo-Fraenkel avec axiome du choix.
     * Supposons maintenant que, dans le cadre de ZFC, on peut démontrer que la consistance de ZFC entraîne celle de ZFC + « il existe un cardinal inaccessible » (par une démonstration formalisable au premier ordre). — (Patrick Dehornoy, La Théorie des Ensembles, C&M, 2017, page 479)
  
  **Hyponymes**
  
  * AC
  * ZF
  
  **Traductions**
  
  * Anglais : ZFC (en)
  