Exercice 3, § 4

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

Théorie des ensembles, I

Soient $A$ une relation de $\mathscr{T}$ , $x$ et $y$ des lettres. Les relations

(\forall x)(\forall y)A \Rightarrow (\forall x)((x \mid y)A),

(\exists x)((x \mid y)A) \Rightarrow (\exists x)(\exists y)A

sont des théorèmes de

\mathscr{T}

Solution

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

Cité par

Rien.

Rien.