划分原理

集合论中与选择公理相关的命题，表述为若存在从集合A到集合B的满射则B的基数不大于A的基数，在不含选择公理的ZF集合论中无法被证明，是数学基础领域的重要研究对象