Similarly, I can also work around Russel’s paradox by introducing infinite universes, but that doesn’t actually resolve the paradox, it just provides a set (ha ha) of rules that may be leveraged to formalize the Set category and otherwise prove useful things.

Just because your formalization admits a proof by contradiction doesn’t actually prove two infinite sets have different sizes, it just proves that a contradiction exists under your assumptions.