[catiopatio]

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.

[ironSkillet]

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.

[catiopatio]

> So the whole debate is moot.

Well, yes. :)

[ironSkillet]

Thanks for wasting my time by avoiding any precision in your language lol.