主要公开日志

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

• 2025年3月7日 (五) 19:59 Gsxab 留言 贡献创建了页面良序定理 （创建页面，内容为“分类:公理集合论 以 E. Zermelo 命名 {{InfoBox |name=良序定理 |eng_name=well-ordering theorem |aliases=well-ordering theorem,策梅洛定理,Zermelo's theorem }} '''良序定理'''('''well-ordering theorem''')是说明每个集合都是一个良序集，或者说每个集合上都存在一个良序。等价于选择公理，如果添加到 ZF 公理体系上，会得到 ZFC 公理体系，此时作为公理也称为'''良…”）