２つの集合AとB（無限集合も許す）が同じ集合であるかどうかを
どうやって判定すれば良いのだろうか。
Aには含まれて居るがBには含まれて居ないような元が無いこと、および
Bには含まれて居るがAには含まれて居ないような元が無いこと、をそれぞれ
確かめるのだとしても、そんなことを無限集合にたいしてできるはずない
じゃないか。