Bài tập 3, § 4

Nhãn 03GG, cố định. Trích dẫn là [Bourbaki, Tag 03GG].

Lý thuyết tập hợp, I, 58

Cho $A$ là một quan hệ trong $\mathscr{T}$ và cho $x$ và $y$ là các chữ cái. Các quan hệ

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

khi đó là các định lý trong

\mathscr{T}

Lời giải

Chưa có lời giải nào được viết.

Được trích dẫn bởi

Không có.

Không có.