Bourbaki

习题 5, § 3

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

集合论, I, 58

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

令 T\mathscr{T} 为具有明确公理 A1A_1、A2A_2、...、AnA_n 的逻辑理论。那么AnA_n独立于T\mathscr{T}的其他公理(§ 2,习题)当且仅当理论的符号和概形与T\mathscr{T}相同,并且其显式公理为A1A_1,A2A_2,...,An−1A_{n-1}, “不是AnA_n”,并不矛盾。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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