Exercice 8, § 4

Tag 03GL, permanent. Cite it as [Bourbaki, Tag 03GL].

Théorie des ensembles, I

Soient $A$ et $R$ des relations de $\mathscr{T}$ , $T$ un terme de $\mathscr{T}$ , $x$ une lettre. Si $(T \mid x)A$ est un théorème de $\mathscr{T}$ , $(T \mid x)R \Rightarrow (\exists Ax)R$ , et $(\forall Ax)R \Rightarrow (T \mid x)R$ sont des théorèmes de $\mathscr{T}$ .