习题 5, § 4

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

集合论, I, 58

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

令 $A$ 和 $B$ 为 $\mathscr{T}$ 中的关系，并令 $x$ 和 $y$ 为字母。如果 $x$ 没有出现在 $B$ 中， $y$ 也没有出现在 $A$ 中，那么

(\forall x)(\forall y)(A \text{ and } B) \Leftrightarrow ((\forall x)A \text{ and } (\forall y)B)

\mathscr{T}

中有定理。

解答

尚未写出解答。

被以下引用

无。

无。