User blog comment:LittlePeng9/Higher order set theory/@comment-30004975-20170118224621

So if O is an ordinal such that V_O=V, then the universe of classes is just V_O+1...?