NOM
/zɛd.ɛf.se/
Définitions
-
1.
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).']
Formes fléchies
| Forme | Phonétique | Traits | Syllabes |
|---|---|---|---|
| ZFC | /zɛd.ɛf.se/ | Ys |