Equality in set theory