Exercice 2, § 4

Étiquette 03GF, permanente. À citer comme [Bourbaki, Tag 03GF].

Théorie des ensembles, I

Soient $A$ et $B$ des relations de $\mathscr{T}$ , $x$ une lettre distincte des constantes de $\mathscr{T}$ et ne figurant pas dans $A$ . Si $B \Rightarrow A$ est un théorème de $\mathscr{T}$ , $((\exists x)B) \Rightarrow A$ est un théorème de $\mathscr{T}$ .