习题 3, § 3

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

集合论, I, 57

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

令 $A_1$ 、 $A_2$ 、...、 $A_n$ 在逻辑理论 $\mathscr{T}$ 中为关系。

(a) 要证明 $\mathscr{T}$ 中的关系“ $A_1$ 或 $A_2$ 或...或 $A_n$ ”，只要证明邻接 $\mathscr{T}$ 公理的理论中的 $A_n$ 就足够了，不是 $A_1$ ，不是 $A_2$ ，...，不是 $A_{n-1}$ 。

(b) 如果“ $A_1$ 或 $A_2$ 或...或 $A_n$ ”是 $\mathscr{T}$ 中的定理，则要证明 $\mathscr{T}$ 中的定理 $A$ ，足以证明定理

A_1 \Rightarrow A, \qquad A_2 \Rightarrow A, \qquad \ldots, \qquad A_n \Rightarrow A.

解答

尚未写出解答。

被以下引用

无。

无。