a_38同构于formula_39的真前段”的关系。哈特格斯证明了存在一个良序集大于formula_1的任意良序子集。（这是历史上第一次真正构造出不可数良序集。）然而，他的真正目的其实是证明基数三分法可以推出（十一年前被提出的）良基定理（进一步则等价于选择公理）。