Bourbaki

习题 1, § 1

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

集合论, II, 123

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

表明关系

(x=y)⇔(∀X)((x∈X)⇒(y∈X))(x = y) \Leftrightarrow (\forall X) ((x \in X) \Rightarrow (y \in X))

是定理。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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