概念Axiom of Choice / AC
选择公理
现代集合论中最著名也最具争议的公理之一，由策梅洛于1904年提出，断言对任意一族非空集合存在选择函数可从每个集合中各取出一个元素，ZFC集合论包含该公理而ZF集合论不含
时间轴 (近 90 天)
10月9日
划分原理在没有选择公理的情况下无法被证明
待验证50%
10月9日
选择公理（Axiom of Choice）由恩斯特·策梅洛于1904年提出
待验证50%
10月9日
选择公理断言：对于任意一族非空集合，都存在一个选择函数，能从每个集合中各取出一个元素
待验证50%
10月9日
巴拿赫-塔斯基悖论可将一个球分解后重组为两个等大的球，是选择公理引出的反直觉推论
待验证50%
10月9日
ZF集合论不含选择公理，ZFC集合论含选择公理
待验证50%
8月25日
维塔利集是不可测集，其构造依赖选择公理
待验证50%