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

On 23.11.2024 22:20, Jim Burns wrote:

On 11/23/2024 12:23 PM, WM wrote:

|E(k)| ≥ |E(k+1)| = |E(k)| - 1.

 E(k) ⊇ E(k+1)
|E(k)| ≥ |E(k+1)|
  doesn't contradict
|E(k)| ≤ |E(k+1)|

It does.

 Together,
|E(k)| = |E(k+1)|
and
|E(k+1)| doesn't lose one number.

Spare your nonsense.

|E(k)| = |E(k+1)| is infinite.

The cardinality is an unsharp measure.

 ----
Do you (WM) object to
  k ↦ k+1 : one.to.one

I don't know what that waffle should mean.
Regards, WM