L'axiome du choix, abrégé en " AC ", est un axiome de la théorie axiomatique des ensembles. L'axiome du choix ne fait pas partie du jeu d'axiomes de la théorie des ensembles ZF. On appelle théorie ZFC ...

c'est-à-dire dans le langage formel de la théorie des ensembles : à noter que est juste une abréviation pour par exemple , et que est une abréviation pour c'est-à-dire que l'axiome s'énonce bien dans ...