Bài tập 2, § 1

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

Lý thuyết tập hợp, II, 123

Chứng minh rằng $\emptyset \neq \{x\}$ là một định lý. Suy ra rằng $(\exists x)(\exists y)(x \neq y)$ là một định lý.