16/06/04 06:57:27.89 CtkyGlEO.net
>>345 つづき
>まとめると、無限集合に対して、何かを証明しようとして、数学的帰納法を使う
>高校レベルの理解では、>>330一見「ドミノ倒し」で、有限の延長として、無限集合に対する証明が完了したように見える
>でも、それは違うよと。数学的帰納法が成り立つ背景には、無限を扱う公理が存在すべきなのだと>>334
>渕野先生は、「Dedekindも間違っていた！」という
ここ良いですね。「無限を扱う公理が存在すべきなのだ」と
さて、枝野はいう>>7
"いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である."
はい、間違いです
Dedekindと同じ間違いです。高校レベルの帰納法の理解でしかない
”しかし，素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.”
じゃ、「頓挫」です。
無限を扱うには、そのための公理が必須です。
選択公理とは別に必要です。
ZF公理系では、無限公理を使います。>>339
もし、言いたいことは、別の意味だというなら
それなりの説明が必要でしょう
そして、数学なら、証明のあらすじ程度の説明が