>>761
トートロジーにならないような構造定理がない、という意味で群の公理は弱過ぎるのですよ。