Path: ...!news.nobody.at!weretis.net!feeder8.news.weretis.net!pasdenom.info!from-devjntp
Message-ID: <LqN6WuoDbm_sod4nSTL1zifAOj8@jntp>
JNTP-Route: news2.nemoweb.net
JNTP-DataType: Article
Subject: Re: Replacement of Cardinality
References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp> <va7hig$fb5h$1@dont-email.me> <qdELJYRpObI5vPH-PB3WamlPHcU@jntp>
 <144dfdff584a2042bbdfec61a3f72bd6e5a31b96@i2pn2.org> <K2dek2bjOUbsl_UdiLrQJbYe6OE@jntp>
 <2f1428f67238b3c617ff30aef39098b09e92d8a1@i2pn2.org> <SPDFVhoqhOpvaPvnPEAQMiOT4rw@jntp>
 <cecd2262-139f-4208-ac21-43626c867ef5@att.net> <ljZxHW_3clDn4DpPyRk_3oX5DV4@jntp>
 <1d69e9e7-f86c-42e5-978f-5ec3718e985b@att.net>
Newsgroups: sci.logic,sci.math
JNTP-HashClient: ZGfR1u_aT0ISKRH1QcRKO_UOyu4
JNTP-ThreadID: KFm3f7lT2HjaTSiMfnv5xqZoSBw
JNTP-Uri: http://news2.nemoweb.net/?DataID=LqN6WuoDbm_sod4nSTL1zifAOj8@jntp
User-Agent: Nemo/0.999a
JNTP-OriginServer: news2.nemoweb.net
Date: Fri, 30 Aug 24 12:53:58 +0000
Organization: Nemoweb
JNTP-Browser: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/128.0.0.0 Safari/537.36
Injection-Info: news2.nemoweb.net; posting-host="82b75c1d0a83e677ff646b52485f72f8b23749df"; logging-data="2024-08-30T12:53:58Z/9005877"; posting-account="217@news2.nemoweb.net"; mail-complaints-to="julien.arlandis@gmail.com"
JNTP-ProtocolVersion: 0.21.1
JNTP-Server: PhpNemoServer/0.94.5
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-JNTP-JsonNewsGateway: 0.96
From: WM <wolfgang.mueckenheim@tha.de>
Bytes: 1942
Lines: 12

Le 29/08/2024 à 19:56, Jim Burns a écrit :
> On 8/29/2024 9:38 AM, WM wrote:

>> That treats the potentially infinite collection.
> 
> Call it ℕᴾᴵꟲ.
> The name doesn't matter.
> 
> There is no natural number not.in ℕᴾᴵꟲ.

Maybe if Bob can disappear. But logic prevents that.

Regards, WM