>>505
>∃e∀g　ge = g, かつ ∀g∃h gh = e
このeについて
∀g (ge=g∧ge'=g) → e=e'
を示してくれますか
端的には
>∀g∃h gh = e
のeが指すものを確定できますか？あるいは公理は
∃! e∀g　ge = g
ですか？