That's not a big issue nowadays since there is univalent foundations, which is based on ∞-groupoids instead of sets.
That's not a big issue nowadays since there is univalent foundations, which is based on ∞-groupoids instead of sets.