主要公开日志

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

• 2025年3月7日 (五) 17:48 Gsxab 留言 贡献创建了页面ZF 公理系统 （创建页面，内容为“分类:公理集合论 分类:以 E. Zermelo 命名 分类:以 A. Fraenkel 命名 {{InfoBox |name=策梅洛–弗兰克尔公理系统 |eng_name=Zermelo–Fraenkel set theory |aliases=策梅洛–弗兰克尔公理体系,策梅洛–弗兰克尔公理集合论,ZF }} '''<ins>策梅洛</ins>–<ins>弗兰克尔</ins>公理系统'''('''Zermelo–Fraenkel set theory''')，简称 '''ZF 公理系统'''或 '''ZF''' ，指为避免 Russell 悖论而对:…”）