"... par exemple la cohérence de la théories ZF entraîne la cohérence de ZF+AC (la réciproque est évidente)"
