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

Am 03.01.2025 um 02:37 schrieb Chris M. Thomasson:

On 1/2/2025 5:43 AM, FromTheRafters wrote:

WM used his keyboard to write :

On 01.01.2025 15:47, FromTheRafters wrote:

WM wrote :

>

The [set] of [...] natural numbers [...] is closed under multiplication. (WM)

Indeed!
For all n,m e IN: n*m e IN.
Mückenheim is the master!

How can that be? (From the After)

Well, it's a simple fact which can be proved (based on the Peano Axioms and the definition of * on IN).

P<bla> (WM)

Nonsense.

Easy, he stood on a chair. (From the After)

He? WM?

lol! ;^)

Sorry, but I'm lost.
.
.
.