Exercice 1, § 4

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

Théorie des ensembles, I

Soient $A$ et $B$ des relations de $\mathscr{T}$ , $x$ une lettre ne figurant pas dans $A$ . Alors

(\forall x)(A \Rightarrow B) \Leftrightarrow (A \Rightarrow (\forall x)B)

est un théorème de

\mathscr{T}

Solution

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

Cité par

Rien.

Rien.