可数选择公理造句
例句与造句
- 在承认可数选择公理的前提下，可数多个可数集的并集是可数的。
- 另一较弱的选择公理－可数选择公理(CC)描述每一非空集合组成的可数集合都会有一选择函数。
- 有些模型更是否定“二元可数选择公理”（可数个二元集合上选择公理成立），而这条公理等价于“可数个不交二元集的并集可数”！
- ）来代替，而确实有很多结果是可以利用可数选择公理来证明的，不过这样只是暂时回避问题，而且依然有些结果是必须用到“选择公理”的。
- 某些作者，比如Suppes、Rubin使用术语超限基数来称呼戴德金无限集合的势，在可以不等于无限基数的上下文中；就是说在不假定可数选择公理成立的上下文中。
- 用可数选择公理造句挺难的，这是一个万能造句的方法
