>>589
>個々の群について調べることはあるよ
>　「ほとんど」とか「多い」とかは数を数えたことないから知らんけど
>君、数数えた上でそう言い切ってるの？
実感というだけだよ？まさか
数えたのかと聞かれるとは思わなかったね
（この論法を実際使う人が居るとは想像しなかったわ）
>この場合、対称群の公理（前提）があって、そ
>こからn≧5の場合可換でないと示してるね
>証明見たんだろう？そうなってるよね？
数学者の観点からは対称群の公理を満たすもののうちn≧5について云々という
述語論理的な捉え方はしてないかな
対称群の公理を満たすものを具体的にイメージしていて
n≧5の場合に云々という認識だね
述語論理の推論規則に
P(a)
-----
∀xP(x)
というのがあるじゃない
そこのP(a)は具体的なaすべてについてのP(a)という
命題論理だと∧Iの仮定に当たるもの
それを個別に認識しているという感じ