集合論について教えて下さい。
外延性の公理:　A と B が全く同じ要素を持つのなら A と B は等しい (A = B)

これって集合における「 = (等号記号)」 の定義と何が違うんでしょうかね？
公理として掲げる意味ってなんなんでしょう。
「⊂」なんかは、〜のとき A ⊂ B とする。ってだけで公理ではありませんよね。