> Dean Buckner wrote, on 17 May 2002: > > `` What is this axiom? Does it say that a set A is the same as set B iff > they have the same members?'' One illuminating set-theoretic formulation is: forall x,y (forall w)(w in x iff w in y) iff (forall z)(x in z iff y in z) --Matt