よく見かける群の定義の述べ方に，数理論理学的観点から見て不適切な点が含まれていることを，私は本橋信義氏の『新しい論理序説』（朝倉書店，1997 年）で初めて知った。 「よく見かける群の定義」というのは次のようなものである。 <quote> 集合 G を空でないとし</quote>…