User blog comment:LittlePeng9/Higher order set theory/@comment-10429372-20140926180316/@comment-1605058-20141016163519

Explain what do you mean by "definable", then we can talk.