反対称律での「等号」は任意に定義して良いわけではないってこと。
ZFなりなんなり集合論での定義がある。でなけりゃ等号が別の意味で
同時に使われちゃうわけだ。"x=yもとの意味"、"x=z俺定義"が許され
ないってことだよ。俺定義を使うと

全てのx,y∈Xに対しx=y

でXが「（俺定義）整列集合」になってしまう。すると整列定理は自明
なわけだ。カントールもツェルメロも大喜び。