>>920
>時枝氏はそんなこと一言も言ってない。Ωは最初から{1,…,100}だと言っている。

うんにゃ(^^
 >>2より
さらに、数学セミナー201511月号P37 時枝記事に、次の一文がある
「R^N/〜 の代表系を選んだ箇所で選択公理を使っている.
その結果R^N →R^N/〜 の切断は非可測になる.
ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系, 1905年)にそっくりである.」
(引用終り)

残念でしたw
(念のため >>1より
https://imgur.com/YAdz2Mz
時枝 箱入り無数目(数学セミナー201511月号の記事)の後)