>>639
だから「=」抜きの述語論理で始めて
外延性で「=」を定義することにしたら
別の公理「外延性'」が必要になるって話
他にもいろいろ必要だけど

とりあえず
「なぜ外延性の公理が必要か？定義にするんじゃだめ？」
という>>629の疑問に対して答えてみた
「集合論はそうなっているから」じゃあ答えになってない

外延性の公理を捨てて、外延性で「=」を新たに定義、
分かりやすく文字を変えて「≈」にしようか、した場合、
「≈」に対する外延性の公理'が必要になるよってこと
だからいずれにせよ外延性の公理に相当するものが必要