User blog comment:LittlePeng9/Higher order set theory/@comment-24509095-20141016112825/@comment-1605058-20141016113608

No, O isn't an ordinal, and Ord only contains ordinals.