Sujet : Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary)
De : noreply (at) *nospam* example.org (joes)
Groupes : sci.mathDate : 16. Dec 2024, 12:56:39
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <2a87066c16562c9a9d560bc18996b224dd43fdb7@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 : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Mon, 16 Dec 2024 09:27:19 +0100 schrieb WM:
On 15.12.2024 21:20, joes wrote:
Duh. All naturals are finite. You need to actually remove all inf.many
of them.
That is not possible with definable naturals:
Duh again. No natural is infinite.
And numbers which succeed ∀k ∈ ℕ
There is no natural larger than all others.
-- Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:It is not guaranteed that n+1 exists for every n.