>>192
> 話は逆で、R^ωの元から、R^(ω100)の元を作るのが、時枝記事だよ

あのさぁ。

［時枝の話］
R^ωの元から100個のR^ωを作り、その100個のR^ωを扱う。

［スレ主の話］
R^ωの元から1個のR^(ω100）を作り、1個のR^(ω100）を扱う。

この二つが違うことくらい分かるでしょう？

R^(ω100）の元だって"作る"ことは可能だよ？
だけど時枝の記事はそんな元を"扱わない"って言ってるんだよ。