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

wat

So, $$O$$ is in a new set that we could label something like $$\text{Ord}_2$$?