>>324
> 313と似たような話で巷の数学書の群の定義は数理論理学的には間違っていると
> 野崎さんがどっかで書いていた。

野崎さんが書いてるのは知らないが、本橋さんのどれかの本（彼は何冊も本を書いているけれど確か割と最近に出版されたもの）で
上の問題を取り上げて説明してるのを立ち読みした覚えがある。

立ち読みなんで確実とは言えないんだが、要するに群の定義を日本語で書き下している時に、
論理式での定義で使う限量子に相当する修飾句の位置や有効範囲が間違っていて束縛変数が自由変数になってたり
あるいは逆の状況になってるという類の話だったと思う。