Sujet : Re: collective and individual removal
De : FTR (at) *nospam* nomail.afraid.org (FromTheRafters)
Groupes : sci.mathDate : 29. Apr 2025, 14:34:59
Autres entêtes
Organisation : Peripheral Visions
Message-ID : <vuqki7$1tca5$1@dont-email.me>
References : 1 2 3 4 5
User-Agent : MesNews/1.08.06.00-gb
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. Since each and every natural number is *DEFINED* then each and every was apparently *DEFINABLE*. Your set of definable natural numbers is the same set as the natural numbers.
collective and individual removal
Re: collective and individual removal