Sujet : Re: collective and individual removal
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.mathDate : 30. Apr 2025, 21:34:26
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vuu1gi$t341$9@dont-email.me>
References : 1 2 3 4 5 6 7 8
User-Agent : Mozilla Thunderbird
On 30.04.2025 15:15, joes wrote:
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.#
It fails. It is impossible to remove all natural numbers by defining each one.
Regards, WM