Sujet : Re: collective and individual removal
De : noreply (at) *nospam* example.org (joes)
Groupes : sci.mathDate : 30. Apr 2025, 14:15:27
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <95712772f0073bf94d029467a41b1ccecc889790@i2pn2.org>
References : 1 2 3 4 5 6 7
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Wed, 30 Apr 2025 14:43:46 +0200 schrieb WM:
On 29.04.2025 15:34, FromTheRafters wrote:
on 4/29/2025, WM supposed :
On 29.04.2025 01:30, FromTheRafters wrote:
WM formulated the question :
>
That is wrong because you cannot remove all natural numbers by
removing only definable numbers
Each and every non-initial natural number is *DEFINED* as being one
more than the previously defined one.
This chain fails. Otherwise you could remove all numbers by removing
only defined ones. But that is impossible.
It could only fail if one didn't have a successor.
Your set of definable natural numbers is the same set as the natural
numbers.
|ℕ \ ℕ| = 0.
|ℕ \ ℕ_def| = ℵo.
That's just, like, your opinion, man.
-- 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.
collective and individual removal
Re: collective and individual removal