Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!border-3.nntp.ord.giganews.com!nntp.giganews.com!Xl.tags.giganews.com!local-4.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Tue, 29 Apr 2025 16:30:38 +0000
Subject: Re: collective and individual removal
Newsgroups: sci.math
References: <vunv23$37o6r$2@dont-email.me> <vuo1sk$3f1rn$1@dont-email.me>
From: Ross Finlayson <ross.a.finlayson@gmail.com>
Date: Tue, 29 Apr 2025 09:30:22 -0700
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <vuo1sk$3f1rn$1@dont-email.me>
Content-Type: text/plain; charset=iso-8859-15; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <k5OcnRkOb4UyY431nZ2dnZfqnPqdnZ2d@giganews.com>
Lines: 34
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-pn0cNf4Cr+dJEB23YokLe3Tg+olbpNi56WF0JIUa8i+LtqJw6czGyOiaUQ7NC6iqGvkgXNxIr4deEiK!dSzyAHfIrSbS1HJkSPIrf1pdRoMyo435EArYDDFHUDKUH3HFJKRLV+EgyC9SNUyJAfMoJnYjiMs=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40

On 04/28/2025 07:04 AM, FromTheRafters wrote:
> WM explained on 4/28/2025 :
>> We can remove collectively all terms from the harmonic series. Nothing
>> remains.
>>
>> If we restrict the removal to individually definable terms, then an
>> infinity remains.
>>
>> Is this remainder caused by the impossibility to define infinitely
>> many terms individually? No! It is sufficient to define one term,
>> namely the last one definable.
>
> But there is no last one definable since they all are.
>
>> This is an irrefutable proof of the existence of dark numbers.
>
> For some values of irrefutable.

It seems a reverie on "pair-wise union" versus "infinite union",
also called "the illative", or sometimes, "univalent in HoTT".

See, ZF only has pair-wise union, otherwise various antinomies
are readily derived, yet, completions are claimed to follow as
if they were.

Then, since there are various models of integers, it results
that the inductive set as axiomatized may be seen as a sort
of negative axiom as much as a positive axiom, since naive
comprehension would arrive at either and both of fragments
and extensions as existing, models of integers.

So, it's a non-standard setting, naturally, say.