Hilbert's Hotel, cardinality, and equality One of the absurdities illustrated by Hilbert's Hotel, some say, is infinity + infinity = infinity. This is absurd in the sense that "After the infinitely many new guests check in, the number of guests will remain the same as before." I think what is meant by "the number of guests is the same as before" is that the infinities in question have the same cardinality - the same number of guests before and after.

Question: Is it true that if two infinite sets have the same cardinality, they are equal? Or is it possible that two sets have the same cardinality, yet have different numbers of members?

If it is true that infinity + infinity = some greater infinity, in what sense is the claim true that "After the infinitely many new guests check in, the number of guests will remain the same as before."

Note: The context of this question is a discussion on an objection to Hilbert's Hotel on Philosofize
The term "infinity" means nothing in modern mathematics. It is just a term which represents "not finite".

In the context of the Hilbert hotel, and it seems that you discuss this in the context of infinite cardinals, rather than ordinals, or some other notion of infinity, infinities are cardinals. So when you say that "two infinities have the same cardinality they are equal" you really just say "two infinites are equal then they are equal".

On the other hand, if you mean infinities in the sense of ordinal numbers, which are another form of infinitary numbers, then addition is not idempotent. $\alpha+\alpha\neq\alpha$. But ordinals carry more structure than cardinals, and the addition of ordinals is different than the addition of cardinals because of that extra structure.



Glancing over the comments in the "objection" that you have linked, it seems to me that a particularly important point is amiss:

The notion of "number" simply means some "measurable quota" in some aspect. Cardinality of sets is a way to measure size of sets in a particular way. So cardinal numbers are numbers. It is true that those are not real numbers, but this is why we don't use the term "infinities" so wildly, and we tend to be very clear in what sort of context it is applied.

If one thinks of numbers as real numbers, and infinity as the infinity we know from calculus (a length which is longer than any finite length), then of course there is merits to this apparent objections. But this is not what Hilbert was trying to show when he opened his grand hotel to the unsuspecting public. No, he was talking about cardinal numbers which are a whole other system of numbers.
According to the conventional definition, the number of elements in a set is defined to be its cardinality. If you want to insist that the number of elements in a set is always larger than the number of elements in a proper subset of it, we have to break the assumption that the number of elements in any set is its cardinality. I think there is a consistent system that does that.