Sujet : Re: collective and individual removal
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.mathDate : 30. Apr 2025, 13:43:46
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vut5u2$9nkh$1@dont-email.me>
References : 1 2 3 4 5 6
User-Agent : Mozilla Thunderbird
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
>
Sure you can.
>
I cannot. Show it if you can.
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.
Your set of definable natural numbers is the same set as the natural numbers.
|ℕ \ ℕ| = 0.
|ℕ \ ℕ_def| = ℵo.
Regards, WM
collective and individual removal
Re: collective and individual removal