Examen corrigé du Cours de logique
Exercice 1 (Théorie des ensembles). On travaille dans un mod`ele U de ZFC. On rappelle que la clôture transitive de x, notée ct(x) est le plus.
Exercice 1 (Théorie des ensembles). On travaille dans un mod`ele U de ZFC. On rappelle que la clôture transitive de x, notée ct(x) est le plus.