I don’t have one that doesn’t admit a contradiction here … which I’d argue is because comparing the size of an infinite set is nonsensical, even if the properties used to do so are otherwise useful.
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.
If you aren't allowed to operate in a logical system with a concrete definition of "size", then you can't say things like "doesn't actually prove two infinite sets have different sizes". So the whole debate is moot.
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.