习题 5, § 3
标签 03GD,永久不变。引用为 [Bourbaki, Tag 03GD]。
集合论, I, 58
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
令 为具有明确公理 、、...、 的逻辑理论。那么独立于的其他公理(§ 2,习题)当且仅当理论的符号和概形与相同,并且其显式公理为,,...,, “不是”,并不矛盾。
解答
尚未写出解答。
被以下引用
无。
引用了
无。
标签 03GD,永久不变。引用为 [Bourbaki, Tag 03GD]。
集合论, I, 58
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
令 为具有明确公理 、、...、 的逻辑理论。那么独立于的其他公理(§ 2,习题)当且仅当理论的符号和概形与相同,并且其显式公理为,,...,, “不是”,并不矛盾。
尚未写出解答。
无。
无。