良序定理 编辑
在数学中，良序定理表示“所有集合都可以被良序排序”。这是非常重要的，因为它使所有集合均适用于超限归纳法。
4
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
选择公理是数学中的一条集合论公理。这条公理声明，对所有非空集指标集集族





i
∈
I




{\displaystyle _{i\in I}}

，总存在一个索引族





i
∈
I




{\displaystyle _{i\in I}}

，对每一个



i
∈
I


{\displaystyle i\in I}

，均有




x

i


∈

S

i




{\displaystyle x_{i}\in S_{i}}

。选择公理最早于1904年，由恩斯特·策梅洛为证明良序定理而公式化完成。