ZFC
Bonjour, vous êtes venu ici pour chercher la signification du mot ZFC. Dans DICTIOUS, vous trouverez non seulement toutes les significations du dictionnaire pour le mot ZFC, mais vous apprendrez également son étymologie, ses caractéristiques et comment dire ZFC au singulier et au pluriel. Tout ce que vous devez savoir sur le mot ZFC est ici. La définition du mot ZFC vous aidera à être plus précis et correct lorsque vous parlerez ou écrirez vos textes. Connaître la définition deZFC, ainsi que celles d'autres mots, enrichit votre vocabulaire et vous fournit des ressources linguistiques plus nombreuses et de meilleure qualité.
Étymologie
- (XXe 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
Traductions
Voir aussi
- Théorie des ensembles de Zermelo-Fraenkel sur l’encyclopédie Wikipédia
