17/03/19 02:52:01.39 gltLhuLF.net
>「かくかくしかじかの既存の演算の有限回の繰り返しで追いつけない最小の数という定義」
>という「大きさを求めるための一手法」を使っているだけであって、
再帰順序数はそういう解釈でいいけどただ単に可算順序数と言う場合は
大きさの本質を表しているという解釈でいいと思う。
「順序数の束縛からは逃れられない」で納得がいかないのであれば、逆に
「大きいということはどういうことか」を分かりやすく見えるように
して説明するものが順序数ということでいいかも。