Sujet : Re: Incompleteness of Cantor's enumeration of the rational numbers
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.mathDate : 17. Nov 2024, 12:19:32
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vhcjg5$hdd4$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
User-Agent : Mozilla Thunderbird
On 17.11.2024 12:01, FromTheRafters wrote:
WM was thinking very hard :
On 16.11.2024 22:33, Moebius wrote:
>
For example "aleph_0 - aleph_0" is not defined.
>
Small wonder. ℵo means only infinitely many: |ℕ|, |ℚ|, and many others.
|ℕ|-|ℕ| however is defined.
No, it is not.
If sets are invariable then ℕ \ ℕ is empty.
If |ℕ| concerns only the elements of ℕ, then |ℕ|-|ℕ|= 0.
Regards, WM