Bài tập 6, § 5

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

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

Chứng minh rằng nếu lược đồ $(\exists x)R \Rightarrow R$ cung cấp các tiên đề ẩn trong $\mathscr{T}$ , thì $x = y$ là một định lý trong $\mathscr{T}$ (x. Bài tập 1).