最小序数 α。这个定义叫做冯·诺伊曼基数指派。如果不假定选择公理，我们需要採取别的方式。一个集合 "X" 的势的最古旧的定义（康托尔隐含地使用着，而在弗雷格和《数学原理》那里被明确提出），是等势于 "X" 的所有集合的集合：这在 ZFC 或其他有关的公理化集合论中不可行，因为这个搜集对于一个集合而言太大了，但这个定义在类型论、新基础和有关系统中可行。但是，如果我们限制这个类为，同 "X" 等势的那些对象中有最小阶的集合的搜集，则它就可行（这是 Dana Scott 发明的一个技巧：它可行是因为任何给定阶的对