User blog comment:LittlePeng9/Higher order set theory/@comment-24509095-20141010045633/@comment-1605058-20141010055510

I wouldn't really believe that, especially that already definition of successor is quite lengthly, and even addition would require hundred of symbols.