但对于逻辑家或集合论家来说，这是一个必须解决的问题，有些人会建议用较弱的「可数选择公理（countable choice）来代替，而确实有很多结果是可以利用可数选择公理来证明的，不过这样只是暂时回避问题，而且依然有些结果是必须用到「选择公理...
基于12个网页-相关网页
axiom of countable choice 可数选择公理
countable choice
可数的选择
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动