Es ist {(x,(∅,{x}))} ≠ {(x,({x},∅))}.
Paare (a,b) und (c,d) sollen sich so verhalten, dass (a,b) = (c,d) genau dann gilt, wenn a=c und b=d gilt.
Im Gegensatz dazu ist bie Mengen gewünscht, dass {a,b}={c,d} sein kann ohne dass a=c ist, nämlich dann wenn a=d und c=b ist.
Nun ja, die Mengen {(x,(∅,{x}))} und {(x,({x},∅))} haben jeweils nur ein Element und sind deshallb gleich wenn die Elemente gleich sind, wenn also (x,(∅,{x})) = (x,({x},∅)) ist.
Bei diesen Paaren stimmt das erste Element "x" überein. Es stellt sich die Frage, ob das zweite Element übereinstimmt, ob also (∅,{x}) = ({x},∅) ist. Das ist sicherlich nicht der Fall, da dazu ∅={x} sein müsste.