間違えました。等号公理は集合論で使うやつですね。
とにかく＝に伴う公理は認めてないということです。