Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: FromTheRafters <FTR@nomail.afraid.org>
Newsgroups: sci.math
Subject: Re: Replacement of Cardinality
Date: Tue, 27 Aug 2024 19:06:00 -0400
Organization: Peripheral Visions
Lines: 11
Message-ID: <valm4s$35n22$1@dont-email.me>
References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp> <maptLlB5uFyelg509mbdgWw1yGc@jntp> <980a0ec7476c9dc5823e59b2969398bd39d9b91d@i2pn2.org> <va5c09$3vapv$1@dont-email.me> <h6Deptvp2nWZ7A-WxxE_8LCEIYY@jntp> <8d5b0145-b30d-44d2-b4ff-b01976f7ca66@att.net> <WtY45o_2xWeSk0s5VFpkO7OO7b0@jntp> <bd225e98-2fa5-49d5-806e-f25e2c8f24da@att.net> <MyfajwdXdoZZDQyGfKtmPKpt08o@jntp> <6cc86827-def3-4948-9e69-a3fea9e86c06@att.net> <DjlCrzShAlCRQKbykfy5r-LuUt4@jntp>
Reply-To: erratic.howard@gmail.com
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 28 Aug 2024 01:06:05 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="379831b470fbec1a43a5e1a123102f2a";
	logging-data="3333186"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18sxo4T87d5QcyfZDVHIjrgdnhuRfXcf+Q="
Cancel-Lock: sha1:bJ0NFYP8iBwllXgSY3pW4bZz3/M=
X-ICQ: 1701145376
X-Newsreader: MesNews/1.08.06.00-gb
Bytes: 1652

WM wrote :
> Le 25/08/2024 à 23:18, Jim Burns a écrit :
>
>> Therefore,
>> there is no ω-1,
>
> If the set of ordinal numbers is complete, then ω-1 precedes ω - by 
> definition.

What is the definition of subtraction here? Can you subtract past zero 
in the naturals?