>>70
>群は 公理で扱うのはちょっとねぇ〜

ちょっとなんなんだい？
君はそんな文章書いてるから
数学書の文章が読めないんだよ

>群の”定義”で扱う

定義と公理は何が違うんだい？

>なぜならば、群はあまりにも 世間の ゴタゴタした 事象や現実と結びつきすぎているから

なぜ、世間の事象や現実と結びつくと定義になるんだい？

>例えば、島内剛一 → ”Rubic キューブ” と辿ると Haskell 辺りまで 話が広がる
>そもそも、現世の”Rubic キューブ”を、ＺＦＣ公理で定義する人は 皆無だろう

ルービックキューブの群は有限群だから
無限公理無しでOK
よかったね　有限主義から抜け出せない君
君にとって有理数の切断で表される実数は”真のクラス”
実数の集合に至ってはクラスですらない”コングロマリット”なんだろ？
ωが集合の全体、2^ωがクラスの全体、その部分だからねえ　うん
そりゃ君にとって、実数がチンプンカンプンなわけだ