Examens corriges

TD de Logique 11 : Interprétabilité, théorie des ensembles

Les exercices 1 et 3 sont `a préparer avant le TD et seront corrigés tout au début de la séance. I. Interprétabilité. On notera ZF¡Inf (resp. ZFC¡Inf) la ...





Télécharger