Accueil > Dictionnaire > Définitions du mot « ZFC »
Zfc
[zfk]
Définitions de « ZFC »
Zfc - Nom commun
-
(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
Étymologie de « ZFC »
- (XXe siècle) Initiales de théorie des ensembles de Zermelo-Fraenkel, avec axiome du choix.
Usage du mot « ZFC »
Évolution historique de l’usage du mot « ZFC » depuis 1800
Citations contenant le mot « ZFC »
-
ZFC fait du poulet halal.
20 minutes — Zurich: Le géant KFC trouve que le petit ZFC lui fait de l’ombre - 20 minutes -
Bien au-delà de l’obtention de résultats de non-prouvabilité, le bénéfice principal de l’étude des modèles ZFC est de guider l’intuition et d’avancer dans la perception des concepts ensemblistes.
Patrick Dehornoy — La Théorie des Ensembles