User blog comment:LittlePeng9/Higher order set theory/@comment-4224897-20141030182135

Now let's define O'?

Then we can turn all this into an array  notation and make things like 0'-[1,1,11[11,,,1]2].......not :)