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

On 11/23/2024 4:39 PM, WM wrote:

On 23.11.2024 22:20, Jim Burns wrote:

 

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

>
I don't know what that waffle should mean.

 k ↦ k+1  means the successor operation.
 'One.to.one' means that,
if j≠k  then j+1≠k+1
different numbers have different successors.
 I am claiming that
different numbers have different successors.

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

>
It does.

 Then you (WM) also don't know
what a contradiction is.