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

I was just wondering, wouldn't $$O \in \text{Ord}$$?