すいません。質問があります。
等号公理の逆も公理なんですか？
つまりx=y∧z∈x⇔z∈yは公理なんでしょうか？