>>603
>数学者の観点からは
>・・・という述語論理的な捉え方はしてないかな
>・・・の場合に云々という認識だね

それは数学者でない一素人の君が
「数学者はきっとそう考えてるに違いない」
と思う感想、というか妄想?

さて、証明を1度でも読んで理解しているなら
「n≥5ならば、長さ3の巡回置換は全てAnで共役である。」
という補題がポイントであると分かるだろう
そして、そのような言い方をする場合
まあ、n=5の場合は個別のA5で考えたとしても
これをn>5の場合に拡大する場合、個別認識は絶対にしてないね
述語論理的に考えてないなら、絶対に証明できるわけないから

>述語論理の推論規則に
>P(a)
>-----
>∀xP(x)
>というのがあるじゃない

あるよ でも君のいうn≧5とかいうのはそれだけじゃダメだよ
数学的帰納法を使ってることが意識できてない?
それ数学者じゃないね 全くの素人

証明は完全に読解しないと、君みたいに
「無限個あるすべての個別の場合を全部確認する」
なんて人間には到底できっこないことを
「できる!」と妄想することになるから

それはトンデモ沼にはまってる証拠だから
一刻も早く気づいて抜け出そうな
数学が全く理解できなくなるから