习题 8, § 4

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

集合论, I, 59

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

令 $A$ 和 $R$ 为 $\mathscr{T}$ 中的关系，令 $T$ 为 $\mathscr{T}$ 中的项，并令 $x$ 为字母。如果 $(Tx|)A$ 在 $\mathscr{T}$ 中是定理，则 $(T|x)R \Rightarrow (\exists_A x)R$ 和 $(\forall_A x)R \Rightarrow (T|x)R$ 在 $\mathscr{T}$ 中是定理。

解答

尚未写出解答。

被以下引用

无。

引用了

无。