Bài tập 6, § 1

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

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

Cho $\mathscr{T}$ là một lý thuyết bình đẳng có chứa ký hiệu $\in$ và tiên đề sau:

A1'.

(\forall y)(y = \tau_x((\forall z)(z \in x \Leftrightarrow z \in y)))

(nói cách khác, mọi số hạng đều bằng tập hợp các phần tử của nó). Hãy chứng minh rằng tiên đề ngoại diên A1 là một định lý trong $\mathscr{T}$ (dùng lược đồ S7).

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