>>670
しっぽが 0,0,・・・ であるしっぽ同値類の元しか出題しない。という取り決めなら列 0,0,・・・ を代表にすればよく決定番号関数を構成可能だから
>決定番号の分布は非可測な筈だから
>そこで話が途切れちゃうけどね
の問題は無いと思うよ。