Bourbaki

习题 6, § 5

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

集合论, I, 59

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

证明如果概形 (∃x)R⇒R(\exists x)R \Rightarrow R 在 T\mathscr{T} 中提供隐式公理,则 x=yx = y 是 T\mathscr{T} 中的定理 (cf. 习题 1)。

解答

尚未写出解答。

被以下引用

无。

引用了

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