ula_33，这里的formula_34是formula_22的单元素子集的集合。在这个定理中，使我们感兴趣的特殊实例是formula_36：单元素集合们少于集合们（因此一个元素的集合们少于全体对象，如果我们在NFU中的话）。从全集到这些单元素集合明显的双射formula_37不是一个集合；它不是集合是因为它的定义是非层化的。注意在所有已知的NFU的模型中formula_38都成立；“选择公理”允许我们不只证明有基本元素，而且在formula_39和formula_40之间有很多基数。我们现在引入某些有