> とにかく、↑ここに親切丁寧な証明が載ってます。
> 群論と集合論の初歩を知っていれば、それ程遠い道でもありませんよ。
>
> >集合論とも数論とも関係の無い別物
> 選択公理を使っているから集合論と関係あるでしょ。まあ数論とは関係ないけど。

もうこのあたりで絶対理解できてないってわかるよ。
自分の理解具合を疑われてるのに
元ページの信頼性を強調されてもね。