User blog comment:LittlePeng9/Higher order set theory/@comment-5150073-20141016073914/@comment-1605058-20141016094402

It's the order type of class \(\text{Ord}\) of all ordinals.