- 502 名前:132人目の素数さん mailto:sage [2011/09/01(木) 23:54:58.64 ]
- >>500
>>494だと >(A)を満たす連続関数 f:R → R が存在するとする。 から >実数tを任意に取る。x=t, y=tを代入して に移行した際これから何をしようとしているのかが分からない。 その後になって「(A)を満たす連続関数 f:R → R は定数関数である」を示した。 それなら論理的には最初に「(A)を満たす連続関数 f:R → R は定数関数である」を示すべきだ。 >>494ではいわゆる手順前後をしている。
|
|