Nom commun, sigle
/zɛd ɛf se/
Syllabes : zɛd.ɛf.se
Orthocode : Z.F.C
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 | Orthocode |
|---|---|---|---|---|
| ZFC | /zɛd ɛf se/ | sigle | zɛd.ɛf.se | Z.F.C |