习题 3, § 5

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

集合论, I, 59

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

令 $\mathscr{T}$ 中的 $R$ 和 $S$ 为关系， $T$ 在 $\mathscr{T}$ 中为项，并令 $x$ 和 $y$ 为不同的字母。假设 $y$ 不是 $T$ 的常数，并且 $x$ 没有出现在 $T$ 中。令 $\mathscr{T}'$ 为将 $\mathscr{T}$ 的 $S$ 与公理邻接而得到的理论。如果 $R$ 在 $\mathscr{T}'$ 中的 $x$ 中起作用，并且如果 $(T|y)S$ 在 $\mathscr{T}$ 中是定理，则关系 $(T|y)R$ 在 $\mathscr{T}$ 中的 $X$ 中起作用。

解答

尚未写出解答。

被以下引用

无。

引用了

无。