Bourbaki

Bài tập 1, § 1

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

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

Chứng minh rằng quan hệ

(x=y)⇔(∀X)((x∈X)⇒(y∈X))(x = y) \Leftrightarrow (\forall X) ((x \in X) \Rightarrow (y \in X))

là một định lý.

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ó.

Trích dẫn đến

Không có.

Bản dịch máy từ tiếng Anh, bởi gpt-5.4. Chưa được người kiểm tra.