Bourbaki

习题 5, 附录 0

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

集合论, I, 61

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

令AA为理论T\mathscr{T}中的集合,令TT为T\mathscr{T}中的项,令xx为字母。如果 (T∣x)A(T|x)A 为项(分别为关系),则 AA 为项(分别为关系)。 (使用习题4。)

解答

尚未写出解答。

被以下引用

无。

引用了

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