Sujet : Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary)
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.logicDate : 15. Dec 2024, 20:44:23
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vjnbin$lspo$3@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
User-Agent : Mozilla Thunderbird
On 15.12.2024 13:54, Richard Damon wrote:
>
You can't "name" your dark numbers,
because they are dark.
You already admitted that the set of definable natural numbers was in fact the set of all natural numbers,
No.
> so there is nothing left to be dark
|ℕ \ {1, 2, 3, ...}| = 0 cannot be accomplished by visible numbers because ∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo.
Regards, WM