- 669 名前：１３２人目の素数さん [2005/10/19(水) 01:50:27 ]
- 微分についての事実は積分に絡んだ事柄を用いずに証明できる。
本当にカット除去からこんなこといえる？
微分が定義できる程度の仮定があれば、積分も定義できるはず。
積分を用いて証明できるということはその体系が積分を扱えるだけ十分強いということなのだから、
今の主張を示すためには、
微分に関する任意の事実を証明するのに用いる公理群が積分を扱うには弱すぎることを示さないといけない。
でも、それは無理だろう。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
『解析概論』について２
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef