чего-то не хватает для равенсва множеств в ZF(C)

[alex_dorin]

У меня сложилось мнение, что какого-то необходимого свойства не хватает
для определения двухместного предиката EQ(a,b), cодержательно выражающего
равенство 2-х множеств в ZF(C). Дополнительных аксиом для равенства по Френкелю и Бар-Хиллелу из Оснований теории множеств, аксиом Такеути - не хватает тоже.
Буду благодарен за максимально формалистический ответ средствами в ZF(C).

[LaTeXScience]

alex_dorin в сообщении #467764 писал(а):

Буду благодарен за максимально формалистический ответ средствами в ZF(C).

Но Вы ведь не задали ни одного вопроса.

[JMH]

Равенство двух множеств определено самой первой аксиомой - аксиомой экстенсиональности (объёмности): если множества $X$ и $Y$ состоят из одних и тех же элементов, то $X=Y$.