>>30
外延性の公理を用いて
{ (x,y) | P(x,y) } = { (x,y) | Q(x,y) }・・・①を導き出すには
「それぞれの集合の元が全て等しい」・・・②という条件が要りますよね？
ですが、どうして
(u,v)∈{ (x,y) | P(x,y) }⇔(u,v)∈{ (x,y) | Q(x,y) }・・・③
から②が言えるのでしょうか？