ZFC
Étymologie
[modifier le wikicode]- (XXe siècle) Initiales de théorie des ensembles de Zermelo-Fraenkel, avec axiome du choix.
Nom commun
[modifier le wikicode]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
[modifier le wikicode]Traductions
[modifier le wikicode]Voir aussi
[modifier le wikicode]- Théorie des ensembles de Zermelo-Fraenkel sur l’encyclopédie Wikipédia
