21/11/21 08:49:29.05 fskC7CH9.net
>>418 >>423
>{{…{{}}…}}
そこ、fsz(ω)={・・{{・・{{{}0}1}2・・}n-1}n・・}ω>>424だよ
だから、{{…{{}}…}}→{fsz(ω)}={{・・{{・・{{{}0}1}2・・}n-1}n・・}ω}
が対応するよ
{fsz(ω)}は、ω+1が対応するよ
{…{{}}…}は、{{…{{}}…}}の前者ではあるが、
{{…{{}}…}}には、ω+1が対応するよ
(多分、正則性公理を言いたいんだろうが、当てはまらない)
>後者関数 s(x):={x} なんでしょ?君の定義だと
いまの場合、後者関数の前に、
多重シングルトン関数 fsz:n→{{・・{{{}0}1}2・・}n-1}n n∈N+ω >>405
を定義しているので、そっちを優先的に見てくださいね
勿論、多重シングルトン関数の定義の後に、「ここは後者関数と同じ」という解釈はありだよ