Identidad de lo indiscernible

Según Quine (ya se mencinó en otro post) el signo '=' se puede escribir así:

∀α(x ϵ α ↔ y ϵ α)

Sin embargo, si bien no lo discute (al menos en Los métodos de la logica) lo que esto presupone es que cualquier objeto es idéntico a otro siempre que comparta cada una de sus propiedades. Russell, en su introducción al Tractacus de Wittgenstein le opondría su idea de la identidad de lo indiscernible, pues bien podría suceder, dice, que dos cosas compartan todas sus propiedades y sin embargo no sean la misma. El pasaje al que hace referencia Russell es 2.0233-2.02331 del Tractacus.

Desde luego, Quine responderá (Nueva fundamentción de la lógica matemática) que en realidad lo que su fórmula afirma no es que x e y comparten sus propiedades sino que pertenecen ambos a todas las mismas clases. Y su definición parece más inobjetable cuando asevera que y también pertenece a aquella clase a la que sólo pertenece x.

¿entonces?