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

What's "O"? Absolute infinity?