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