>>202
>>203
群論では通常の乗法・の扱いは1番はじめの方に出て来る定義だ。
アナタ(β)は加法+についての和a+bの扱いを「a+b=ab」とすると仮定した。
しかし乗法・の扱いについては「a・b≠ab」とする？と仮定した。
だが、乗法・に関するこの如き扱いは不可能だ。
何故なら「a・b≠ab」の如き扱いが可能であったとすると、
今度は「a・b」の扱いはどうなるのか？という「・」に関する問題が生じてしまい、
「・」は『「a・b≠ab」として「a+b=ab」と仮定する以外は通常の規則で扱う』
というアナタの御約束に反する例になって演算体系が崩れ、矛盾が生じる。
だから、「a+b=ab」と仮定したいなら、通常の定義に従って「a・b=ab」と考えざるを得ない。
一応私(いわゆる砂消し君な)は>>198を書いた。