可数选择公理

可数选择公理

简明

1
Axiom of countable choice
可数选择公理（可数选择公理ACω声称任何可数搜集都有选择函数，但在ZF集合论中不可证明，由保罗·寇恩证明）；

网络释义

1
axiom of countable choice
... 选择公理选择公理 Auswahlaxiom 可数选择公理 axiom of countable choice ; Countable choice 全局选择公理 axiom of global choice ...
2
Countable choice
但对于逻辑家或集合论家来说，这是一个必须解决的问题，有些人会建议用较弱的「可数选择公理（Countable Choice）来代替，而确实有很多结果是可以利用可数选择公理来证明的，不过这样只是暂时回避问题，而且依然有些结果是必须用到「选择公理...

百科

可数选择公理
可数选择公理，指示为ACω，是公理化集合论的类似于选择公理的一个公理。它声称非空集合的任何可数搜集都一定有选择函数。保罗·寇恩证明了ACω在Zermelo-Fraenkel集合论（ZF）中是不可证明的。

点击反馈