32 variations ZFC stochastiques pour alto
En mathématiques, la théorie des ensembles de Zermelo–Fraenkel avec axiome du choix est l’un des systèmes axiomatiques proposés au début du vingtième siècle pour formuler une théorie des ensembles sans les paradoxes d’une théorie naïve des ensembles, tels que le paradoxe de Russell. Aujourd’hui, la théorie ZFC est la forme standard de la théorie axiomatique des ensembles et constitue ainsi le fondement le plus courant des mathématiques.