Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>
Newsgroups: sci.logic,sci.math
Subject: Re: Replacement of Cardinality
Date: Tue, 13 Aug 2024 12:15:35 -0700
Organization: A noiseless patient Spider
Lines: 25
Message-ID: <v9gbcn$1g5h$3@dont-email.me>
References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp>
 <6c471296-90b8-4cf7-bc9b-480bd34ef190@att.net> <v93n0s$b7a2$4@dont-email.me>
 <1f25a3d6-7b0e-476d-aa99-ecb003cf763f@att.net>
 <b0XFTJvTommasLo9Ns10OeW0TN0@jntp>
 <75e2ce0e-7df8-4266-968b-9c58e4140b03@att.net>
 <RCAlRuRy_RKB_tYItKJs7fNcIs0@jntp>
 <35d8c0a1-dab3-4c15-8f24-068e8200cb07@att.net>
 <sglIw8p3PCeHivaAhg-7IVZCN4A@jntp>
 <c3b058c033321a59844da1fa46c5ac85a4b6566c@i2pn2.org>
 <mH8M1Rqfb7VYix0Wa0ZP-U89eG4@jntp> <v9gb32$1g5h$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 13 Aug 2024 21:15:35 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="4a84523421f9ce4759d9517bc1f63aca";
	logging-data="49329"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/xavencilXffeIEJF2fzK7VFOJyADPtTk="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:W2SOh6dtgzeSoqkTyKamTFryUq4=
In-Reply-To: <v9gb32$1g5h$1@dont-email.me>
Content-Language: en-US
Bytes: 2276

On 8/13/2024 12:10 PM, Chris M. Thomasson wrote:
> On 8/13/2024 7:17 AM, WM wrote:
>> Le 12/08/2024 à 19:23, Richard Damon a écrit :
>>> On 8/12/24 9:50 AM, WM wrote:
>>
>>>>> What causes an exception: nₓ ∈ ℕ:
>>>>> ⅟nₓ > 0 without ⅟(nₓ+1) > 0 ?
>>>>
>>>> The end of the positive axis.
>>>
>>> Which, by the definition of the Natural Numbers, doesn't exist.
>>
>> The end of the positive axis exists.
> 
> Nope. Just like there is no end to the negative x axis. Oh, there is no 
> end to the y axis as well. The z axis, the w axis, on and on wrt n-ary 
> axes... :^)
> 

Well, let me add a correction:

(...)<--(-1)<--(-0+)-->(+1)-->(...)

So, there is an "end" wrt the transition from positive to negative at 
zero. Sorry about that.