习题 2, § 3

标签 03GA，永久不变。引用为 [Bourbaki, Tag 03GA]。

集合论, I, 57

Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。

在逻辑理论 $\mathscr{T}$ 中，令 $A$ 为关系。如果 $A \Leftrightarrow (\text{not } A)$ 是 $\mathscr{T}$ 的定理，则 $\mathscr{T}$ 矛盾。

解答

尚未写出解答。

被以下引用

无。

无。