习题 2, § 2

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

集合论, II, 124

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

(a) 证明关系 $\{\{x\}, \{x, y\}\} = \{\{x'\}, \{x', y'\}\}$ 等价于“ $x = x'$ 和 $y = y'$ ”。

(b) 令 $\mathscr{T}_0$ 为集合论，令 $\mathscr{T}_1$ 为与 $\mathscr{T}_0$ 具有相同概形和显式公理的理论，除了公理A3之外。证明如果 $\mathscr{T}_1$ 不矛盾，则 $\mathscr{T}_0$ 也不矛盾（使用 (a)）。

解答

尚未写出解答。

被以下引用

无。

无。