Examen de logique, 27 janvier 2015. Salles Henri Cartan et U/V

Exercice 1. Soit X ? U, o`u (U,?) est un mod`ele de ZFC. (1) Posons f(0) ...