Path: ...!Xl.tags.giganews.com!local-4.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sun, 29 Dec 2024 18:15:25 +0000
Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers
 (extra-ordinary)
Newsgroups: sci.math
References: <vg7cp8$9jka$1@dont-email.me> <vjf7kl$2s7e5$1@dont-email.me>
 <vjfmq3$2upa9$3@dont-email.me>
 <c6b624cb0b1b55d54aab969ee5b4e283ec7be3cd@i2pn2.org>
 <vjhp8b$3gjbv$1@dont-email.me>
 <dc9e7638be92c4d158f238f8c042c8559cd46521@i2pn2.org>
 <vjjg6p$3tvsg$1@dont-email.me>
 <c31edc62508876748c8cf69f93ab80c0a7fd84ac@i2pn2.org>
 <vjka3b$1tms$3@dont-email.me>
 <e11a34c507a23732d83e3d0fcde7b609cdaf3ade@i2pn2.org>
 <vjmse3$k2go$2@dont-email.me>
 <069069bf23698c157ddfd9b62b9b2f632b484c40@i2pn2.org>
 <vjooeq$11n0g$2@dont-email.me>
 <2d3620a6e2a8a57d9db7a33c9d476fe03cac455b@i2pn2.org>
 <vjrfcc$1m1b2$1@dont-email.me>
 <75921cc1f17cdb691969a99e666f237cd09c0b09@i2pn2.org>
 <vjsrp1$1tqvv$2@dont-email.me>
 <25729298b142c60d5b245231984119d42d4ac089@i2pn2.org>
 <vko14j$53b6$3@dont-email.me> <vko1vp$5mmo$1@dont-email.me>
 <vkp06p$b7kj$1@dont-email.me>
 <8a5ea464a97000a9e3e8cad62bd9d2a0f5aa5742@i2pn2.org>
 <vkradm$tpqs$2@dont-email.me>
 <cb53956e1b9f9f294eabe4bb2931aec79af363ad@i2pn2.org>
From: Ross Finlayson <ross.a.finlayson@gmail.com>
Date: Sun, 29 Dec 2024 10:15:26 -0800
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: <cb53956e1b9f9f294eabe4bb2931aec79af363ad@i2pn2.org>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <4z6dnRakN8kgDOz6nZ2dnZfqn_sAAAAA@giganews.com>
Lines: 31
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-kOvIVVF14UdWvCjFhq+oAPr39WpqM8djNA4elxr6yp65aU4FKVDQUoyx6zdulvpMzoL8/0qtImwFC7g!q/ChWCWOZmf61JNJt0IMjF1jmuSwpLDAA3x/FbhoLmDB1qGFdFM7IAve8ZFhaEq3ibTTVK5GSbc=
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
Bytes: 3318

On 12/29/2024 06:43 AM, joes wrote:
> Am Sun, 29 Dec 2024 12:05:26 +0100 schrieb WM:
>> On 28.12.2024 20:35, joes wrote:
>>> Am Sat, 28 Dec 2024 14:58:50 +0100 schrieb WM:
>>
>>>> Therefore the union of all of them contains less than half of all
>>>> natural numbers.
>>> Worng.
>> My theorem: If all definable numbers (FISONs) stay below a certain
>> threshold, then every union of those FISONs stays below that threshold.
> The infinite union doesn’t.
>

There is no "infinite union" in ZF, only "pair-wise union",
according to the axiom of union. The "Axiom of Infinity"
in ZF is actually an introduced constant, that there
exists an inductive set what would be an infinite union.

If there was "infinite union" via comprehension itself
then it's easy to arrive at contradictions about the
complete ordered field with usual sorts of things.


Of course making "infinite union" is the same thing
as either "the illative" or "univalency", neither
of which are things in ZF/ZFC or the standard accounts.

Because without fixing function theory about the
continua, thusly contradictions are demonstrable.