Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary)

On 12.12.2024 13:26, Richard Damon wrote:

On 12/12/24 4:53 AM, WM wrote:

On 12.12.2024 01:38, Richard Damon wrote:

On 12/11/24 9:04 AM, WM wrote:

>

In mathematics, a set A is Dedekind-infinite (named after the German mathematician Richard Dedekind) if some proper subset B of A is equinumerous to A. [Wikipedia].

>

So? That isn't what Cantor was talking about in his pairings

>
It is precisely this.

No, Cantors pairing is between two SETS, not a set and its subset.
 Yes, we can call the subset a set, since it is, but then when we look at it for the pairing, we need to be looking at its emancipated version, not the version tied into the original set.

Both is the same. In emancipated version it is not as obvious as in the subset version.

 By your logic, *NO* set can be infinite,

False.

as no proper subset can be equinumerous to its superset.

Correct. You have got it!
Regards, WM