Exercice 6, § 4

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

Théorie des ensembles, I

Soient $A$ et $R$ des relations de $\mathscr{T}$ , $x$ une lettre. Les relations

(\exists x)R \Rightarrow (\exists x)R,\qquad (\forall x)R \Rightarrow (\forall Ax)R

sont des théorèmes de

\mathscr{T}

Solution

Aucune solution n’a encore été écrite.

Cité par

Rien.

Rien.