Définitions›ZFC

ZFC

nom
/zɛd.ɛf.se/
  1. MathématiquesThé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).
SynonymesSynonymes de ZFCmots de sens proche Dictionnaire de rimesRimes avec ZFCrimes riches, suffisantes et pauvres

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.