Path: ...!Xl.tags.giganews.com!local-1.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sun, 25 Aug 2024 00:26:27 +0000
Subject: Re: Replacement of Cardinality (effective bounds)
Newsgroups: sci.math
References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp>
 <H5iV5HXUBwUzWtVKRZj7h4N2LdA@jntp>
 <ff390a80279179f6d2f4660ed19c150a88c787d6@i2pn2.org>
 <va4rcm$3soiv$1@dont-email.me> <maptLlB5uFyelg509mbdgWw1yGc@jntp>
 <980a0ec7476c9dc5823e59b2969398bd39d9b91d@i2pn2.org>
 <_lFM72wVqiPQLxO8Gf0IkBJtFhw@jntp> <va7hcv$f9up$1@dont-email.me>
 <kafvr8CJYuaf9fl7BCHPjU227oA@jntp>
 <8bd5624bc47bbca8d04773df845cca2b55435df0@i2pn2.org>
 <j0ajFuF2EBbwKeax-Yg698Bf090@jntp> <vad7jd$1g24f$1@dont-email.me>
 <gcSdnXbOnO8L2lf7nZ2dnZfqnPWdnZ2d@giganews.com>
 <4ef033b9-920b-44d8-8ac7-bc6b587e55bc@att.net>
From: Ross Finlayson <ross.a.finlayson@gmail.com>
Date: Sat, 24 Aug 2024 17:26:18 -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: <4ef033b9-920b-44d8-8ac7-bc6b587e55bc@att.net>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <A9ucnfJNWJeu51f7nZ2dnZfqn_udnZ2d@giganews.com>
Lines: 74
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-7q493RKeiLTwtXkjF4c2EOxfjyiJOfZTJym7RwWD9w86C/UoJB61AdjQ7YZJKwLaWKdQ/KImLFPKarK!/jOTxaAl8TLgOwU67CkRdWXqwMEivB487TqS0q2X9Qwq+VpjuDAsxIvNS4VxuwJ4A+Vd2NW23zWU!YA==
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: 4224

On 08/24/2024 03:39 PM, Jim Burns wrote:
> On 8/24/2024 4:50 PM, Ross Finlayson wrote:
>> On 08/24/2024 11:08 AM, FromTheRafters wrote:
>>> WM has brought this to us :
>>>> Le 23/08/2024 à 20:06, joes a écrit :
>
>>>>> The unit fractions don’t reach 0.
>>>>
>>>> Of course not.
>>>> Therefore they must cease before.
>>>
>>> Why must they cease at all?
>>
>> He can just axiomatize it so,
>> saying that there's a rule.
>
> Yes,
> he can axiomatize it so.
> However,
> axioms set what the conversation is about.
>
> Yes,
> WM can change what his conversation is about.
> So can you. So can anyone.
> WM cannot change what his conversation is about while
> keeping it part of the unchanged conversation.
>
> I'm not declaring a rule,
> anymore than it's a rule that circles are round.
> It is how it is.
>
> Suppose, purely hypothetically, that I have accused
> all Germans of being assholes, and
> WM intends to push back against this foul calumny.
> "There are many very nice Norwegians", he says.
>
> My advice would be to not.make this argument,
> that its effect would be pretty much the opposite of
> what WM might want for an effect.
>
> There are striking parallels between
> axiomatizing it so (changing what's discussed),
> and a different country (changing what's discussed).
>
> Yes, clearly, WM can do it.
> Much less clear is why WM would do it.
>
>

Still, you can just look at it that he has a speech impediment,
and in some generous reading he's the only go-between that
somehow you must explain in his terms, what's in your terms.

So here, it's simplest as a system of bounds, modeled in
the unbounded, instead of just a usual system of no bounds,
modeled in the unbounded. I.e. it's just the sort of
opposite that you've chosen or have a natural or imposed
sort of slur about whether they're bounds in the unbounded
or not-bounds in the un-bounded.

Anyways you've declared many times that you're quite deaf
to claims that Russell's axiom is in any way false, so,
I'm not quite sure what it is that will make it so that
anyone who'd care to try and follow your argument would
have to always insert a slate of boilerplate argument
in front of any quantification over a domain or Russell's
receipt as it were, this is just another one or two,
one with "least non-zero indivisible" and another with
"greater fixed-point", either though of course one
might arrive at for its own sake.

Hausdorff, Skolem, ....