习题 2, § 4

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

集合论, I, 58

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

Let $A$ and $B$ be relations in $\mathscr{T}$ , and let $x$ be a letter, distinct from the constants of $\mathscr{T}$ , which does not appear in $A$ . 如果 $B \Rightarrow A$ 在 $\mathscr{T}$ 中是定理，则 $((\exists x)B) \Rightarrow A$ 在 $\mathscr{T}$ 中是定理。

解答

尚未写出解答。

被以下引用

无。

引用了

无。