TD : Ensembles récursivement énumérables
Examen corrigé du Cours de logique. Exercice 1 (Théorie des ensembles) ...
Pour tout cardinal infini ?, H? désigne la collection des ensembles x tels que |ct(x
)| ...
Examen corrigé du Cours de logique. Exercice 1 (Théorie des ensembles) ...
Pour tout cardinal infini ?, H? désigne la collection des ensembles x tels que |ct(x
)| ...