ええと、有限数可算種文字での話をしているとして、

どこまでも大きな可算順序数までを表現する方法は存在するけど、第一非可算順序数までの
すべての可算順序数を表現することはできない、ということね。