25/11/27 15:18:31.61 HIjRcIFt.net
>>642
>でもそれ、n>=5の場合すべてについての証明じゃないけど
>もしかして無限にある個別、すべてについて証明するの？
>君は違うといったよね じゃどうやるの
あなたは証明することにこだわっているようですが
私が最初に書いたのは
>>581
>>要するに、「モデルを１つ特定する」とか気安くいうけど、人間には無理ってことね
>>できるのは、公理という前提条件によって、モデルの範囲を限定するだけ
>>そして、対象が無限個ある場合は、モデルを１つに特定できない
>考えている理論によってその点は変わるんじゃない？
>集合論だと公理京が中心課題になるから
>その公理から証明できること（＝すべてのモデルで成立すること）をテーマにするんだろうけど
>群論だと群の公理から証明できることだけでなくて
>それぞれのモデル（つまり個々の群）自体をテーマにすることがほとんどではないかな
てこと
群論だと個別の群（モデル）自体をテーマにすることがほとんどだろうってことで
n≧5でのSnが可解で無いことの証明自体の内容では無いわけ
n≧5でのSnを個別に認識してそれが全部可解ではないと証明されているので
個別のSnすべてそうだと認識する
すなわち個別の群自体をテーマにしてる例として挙げたのです
もちろんS5,S6,S7個別に証明も出来るわけ
それを無限に繰り返せないけれどそれは別の話という認識ですが