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