Sujet : Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary)
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : sci.mathDate : 28. Dec 2024, 15:15:35
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <6d1eddd3fbf2b84297a25a283466799eef07cb3f@i2pn2.org>
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
User-Agent : Mozilla Thunderbird
On 12/28/24 8:48 AM, WM wrote:
On 28.12.2024 06:23, Moebius wrote:
>
On 12/17/24 4:51 PM, WM wrote:
>
all FISONs contain/are all n.
Hint: For each and every n e IN there is a FISON such that n is in it.
No. If so, then the union of all FISONs would contain all n. But fact is that the union of all FISONs is a FISON (all FISONs have infinitely many successors) and leaves almost all numbers outside
∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo.
Regards, WM
No, doing an INFIITE union (which a union of all FISONs would be) can result in something different in type then the union of a finite number of FISONs.
Just like the combining of ALL natural numbers gives us an infinite set, while ony combining a finite number of natural numbers gives us a finite set.
You logic just can't handle infinite operations, and thus can't actually have the set of Natural Numbers as an element of it,