21/10/13 00:35:01.24 1dTgAsTd.net
>>143
>アレフ0に対応する最小の順序数ωも、何かで定まった・・・ならば、
>ωに対応する {{{...}}}ω={}の可算多重の存在 があっても良いんじゃない。
>一つの極限として
誰がいったか忘れたけど、
{}の可算多重を「図形」と考えるなら存在するんじゃね?
それこそ{}のかわりに点として、点集合で考えればいい
順序数oから実数への関数fで
o1<o2 ⇒ f(o1)<<f(o2)
(<は順序数の大小関係、<<は実数の大小関係を表す)
とするようなものを考えるとか