11/09/03 20:47:09.51
>>544
>>542書いた内容はfはx, yに依存しないとして考えた場合
α = β∪γとして考えれば>>542の流れで考えるのは正しい。
>>542で書いた内容は>>540で書いた内容
>全てのx, yに対して、その(x, y)に依存して f(y)^2=2*f(x)-1を満たす関数fが存在すると考える場合
を全く踏まえたものではないので>>544は全く私の考えるところではない。
α = β∪γを考える場合には
>全てのx, yに対して、その(x, y)に依存して f(y)^2=2*f(x)-1を満たす関数fが存在すると考える場合
のように考えている可能性があるのではないかと言っているまで。