[nom] Théorie des ensembles de Zermelo-Fraenkel avec axiome du choix. Exemple: `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).`