(１) A⊂B、の証明は合っていますが、A≠Bの証明は間違っています。 nは要素全体を表すための文字なので、n＝1、の場合、とか、 同じ数字ではないので、3≠5、というのは証明にはなっていません。 x∈B、でありながら、x∉A、というxを上げるのが反例です。 なので、x＝3、とすれば、x∈B、だが、ｘ∉A、なので、A≠B とするのが証明になります。 (２) このままで大丈夫ですが、たいていは、最後は A⊂B、かつ、B⊂A、なので、A＝B、とします。