Bài tập 2, § 3

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

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

Cho $A$ là một quan hệ trong một lý thuyết lôgic $\mathscr{T}$ . Nếu $A \Leftrightarrow (\text{không } A)$ là một định lý của $\mathscr{T}$ , thì $\mathscr{T}$ là mâu thuẫn.