习题 6, § 1

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

集合论, II, 123

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

令 $\mathscr{T}$ 为平等的理论，其中包含符号 $\in$ 和以下公理：

A1'。

(\forall y)(y = \tau_x((\forall z)(z \in x \Leftrightarrow z \in y)))

（在其他字中，每个项等于其元素的集合）。证明范围 A1 的公理在 $\mathscr{T}$ 中为定理（使用概形 S7）。

解答

尚未写出解答。

被以下引用

无。

无。