Path: ...!3.eu.feeder.erje.net!feeder.erje.net!proxad.net!feeder1-2.proxad.net!usenet-fr.net!pasdenom.info!from-devjntp
Message-ID: <sLb8ejAtD2GmBXesSRn7GN_xnzI@jntp>
JNTP-Route: news2.nemoweb.net
JNTP-DataType: Article
Subject: Re: Replacement of Cardinality
References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp> <v82amn$3acnb$2@dont-email.me> <nnNQiU97cYPJ7ikub_NQj-NjNiA@jntp>
 <v87lpn$dsd3$1@dont-email.me> <QLZ_2ACRhG592HBeU_Y-pOZfUzY@jntp> <v8a4jn$ufis$1@dont-email.me>
 <CFttuDVUlX6AnVwOZ2ia1BkP6nc@jntp> <v8ctus$1h744$1@dont-email.me> <NLmr4bX-AmfxCyTUJoZOK1iUz7E@jntp>
 <v8hvgd$2moea$1@dont-email.me>
Newsgroups: sci.logic
JNTP-HashClient: 6V4VszgbxTQR8Lzi__eKdGIJNU8
JNTP-ThreadID: KFm3f7lT2HjaTSiMfnv5xqZoSBw
JNTP-Uri: http://news2.nemoweb.net/?DataID=sLb8ejAtD2GmBXesSRn7GN_xnzI@jntp
User-Agent: Nemo/0.999a
JNTP-OriginServer: news2.nemoweb.net
Date: Fri, 02 Aug 24 11:02:24 +0000
Organization: Nemoweb
JNTP-Browser: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/127.0.0.0 Safari/537.36
Injection-Info: news2.nemoweb.net; posting-host="82b75c1d0a83e677ff646b52485f72f8b23749df"; logging-data="2024-08-02T11:02:24Z/8972863"; 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: 2131
Lines: 16

Le 02/08/2024 à 08:48, Mikko a écrit :
> On 2024-07-31 14:20:00 +0000, WM said:

>> The bijection is not true.
> 
> Of course not, just like the Moon is not true. It just is there.

The bijection concerns only the potentially infinite initial segments. 
Every natural number that can be verified in the bijection has ∀n ∈ 
ℕ_verif: |ℕ \ {1, 2, 3, ..., n}| = ℵo successors, ℵo of which 
cannot be verified.
Proof: Ther are more algebraic numbers than prime numbers. Every not 
completely confused brain recognizes this.

Regards, WM