0820132人目の素数さん垢版2017/10/31(火) 20:44:26.05ID:g59stfOw ええと、有限数可算種文字での話をしているとして、 どこまでも大きな可算順序数までを表現する方法は存在するけど、第一非可算順序数までの すべての可算順序数を表現することはできない、ということね。