go top

Axiom of countable choice

  • 可数选择公理(可数选择公理ACω声称任何可数搜集都有选择函数,但在ZF集合论中不可证明,由保罗·寇恩证明)

网络释义英英释义

  可数选择公理

... 选择公理 选择公理 Auswahlaxiom 可数选择公理 axiom of countable choice ; Countable choice 全局选择公理 axiom of global choice ...

基于2448个网页-相关网页

Axiom of countable choice

  • abstract: The axiom of countable choice or axiom of denumerable choice, denoted ACω, is an axiom of set theory that states that any countable collection of non-empty sets must have a choice function. I.

以上来源于: WordNet

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定