12/01/09 11:38:22.30
>>752
なるほど!
ただ、アホみたいに細かい話になっちゃうんだけど、
C⊂N つまり、b^p∈N
b^p∈N を証明するのに、定義から証明したら面倒な雰囲気が…
>>756
バカな俺にとっては自明に見える命題も証明してもらえるとありがたい。
どの命題がどの定理、公理から導かれているのか正確に分かるので、
循環論法等に陥ることが無くなる。
ただ、杉浦は証明というより、説明がやたら長く感じる。
説明はいらん。そのぶん、数式で厳密に定義してくれた方が分かりやすい。