Hartogs定理:对于集合 ,存在序数 使得 。
设 。每个 都序同构于一个唯一的序数 。令 以及 。若 ,则存在单射 ,其值域 。 诱导了 上的良序 。于是 ,然而这表明 ,矛盾。
于是在集合基数意义下存在任意大的序数。