User blog comment:LittlePeng9/Higher order set theory/@comment-10429372-20140926180316/@comment-5150073-20141016162140

So there won't be any undefinable countable ordinals.