>>143
>ｱﾚﾌ0に対応する最小の順序数ωも、何かで定まった･･･ならば、
>ωに対応する {{{...}}}ω＝{}の可算多重の存在 があっても良いんじゃない。
>一つの極限として

誰がいったか忘れたけど、
{}の可算多重を「図形」と考えるなら存在するんじゃね？
それこそ{}のかわりに点として、点集合で考えればいい

順序数ｏから実数への関数ｆで
ｏ１＜ｏ２　⇒　ｆ（ｏ１）＜＜ｆ（ｏ２）
（＜は順序数の大小関係、＜＜は実数の大小関係を表す）
とするようなものを考えるとか