Exercise 3, § 4

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

Theory of Sets, I, 58

Let $A$ be a relation in $\mathscr{T}$ and let $x$ and $y$ be letters. The relations

(\forall x)(\forall y)A \Rightarrow (\forall x)((x|y)A), \qquad (\exists x)((x|y)A) \Rightarrow (\exists x)(\exists y)A

are then theorems in

\mathscr{T}

Solution

No solution has been written yet.

Cited by

Nothing.

Nothing.