Вопросы к Поиску с Алисой
В некоторых формальных теориях математики невозможно дать точное определение равенства, потому что они уклоняются от этого, считая равенство изначально заданным отношением эквивалентности. ru.wikipedia.org ru.ruwiki.ru
Например, в теориях с типизацией объектов отношение равенства имеет смысл лишь между элементами одного типа (внутри определённого множества). ru.wikipedia.org