>>190
詳しくありがとうございます。助かります。

なんか証明問題って苦手なんですよね…。
>>166にも書きましたが、
(Ⅱ)特別な元0∈Uが存在し,任意の元a∈Uに対してa+0=aを満たすことを示せ
についても、任意の元a∈Uに対してa+0=aって言われても何かに0を足して
も0に決まってるじゃないですか。それを証明って言われても何も思いつか
ないのですが…。

また
(Ⅲ)任意の元a∈Uに対してa+x=0を満たす元x∈Uが存在することを示せ
っていう問題については、xが-aであることを示せばという感じで少し
思いつくのですが、そこからが、じゃ何をすればxが-aであることを
証明できるのか解らなくなってしまいます。