ZFC

Français

É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)

  1. (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
Cet article est issu de Wiktionary. Le texte est sous licence Creative Commons – Attribution – Partage à l’identique. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.