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