主要公开日志

所有GSXAB的知识库公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2025年3月10日 (一) 17:22 Gsxab 留言 贡献创建了页面ZFC 公理系统 （创建页面，内容为“分类:公理集合论 分类:以 E. Zermelo 命名 分类:以 A. Fraenkel 命名 {{InfoBox |name=ZFC公理系统 |eng_name=ZFC set theory |aliases=ZFC }} '''ZFC 公理系统'''('''ZFC set theory''')，简称 '''ZFC''' ，指为避免 Russell 悖论而对集合论进行公理化的公理系统之一。其中包含 8 条公理的版本称为 ZF 公理系统，而包含选择公理或其他等…”）