Path: ...!weretis.net!feeder8.news.weretis.net!pasdenom.info!from-devjntp
Message-ID: <sdM6tt0a2wvVmLtfLrvf50vhr-o@jntp>
JNTP-Route: news2.nemoweb.net
JNTP-DataType: Article
Subject: Re: because =?UTF-8?Q?g=E2=A4=A8=28g=E2=81=BB=C2=B9=28x=29=29=20=3D=20g?= 
 =?UTF-8?Q?=28y=29=20=5B=31/=32=5D=20Re=3A=20how?=
References: <qHqKnNhkFFpow5Tl3Eiz12-8JEI@jntp> <ce588a75-4ea6-4a78-8be2-d729e80d19cd@att.net> <AddHfbN-qz8pWaxRgIvS5xiFQw8@jntp>
 <d56cbcbb-3d26-4606-8572-366eaadc608f@att.net> <4P8mN6L4GiZRL_cw9VoFlkFRsyI@jntp>
 <0682ec96-856f-4659-918d-f4f08edada3e@att.net> <IzQUzuTPV4P3XMbkfmQrEzl_xMs@jntp>
 <e261dbb5-4d89-4753-aee0-db91a1924356@att.net> <6xC7D4OsaY-Dbt6UCvgZwElFXdY@jntp>
 <ff51fcc9-94ac-4c33-afd8-21c01cd7bb03@att.net>
Newsgroups: sci.math
JNTP-HashClient: k8QJJqB8PjAQTwHEkuVUFwcDdnA
JNTP-ThreadID: 4YLc1knY-8u5i_KQ0oWqy89D7aY
JNTP-Uri: http://news2.nemoweb.net/?DataID=sdM6tt0a2wvVmLtfLrvf50vhr-o@jntp
User-Agent: Nemo/0.999a
JNTP-OriginServer: news2.nemoweb.net
Date: Wed, 08 May 24 19:55:32 +0000
Organization: Nemoweb
JNTP-Browser: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
Injection-Info: news2.nemoweb.net; posting-host="7a19405b4245f47946ffce65063ceb09f86be43b"; logging-data="2024-05-08T19:55:32Z/8849519"; 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: 1959
Lines: 11

Le 07/05/2024 à 00:11, Jim Burns a écrit :

> All which canNOT be counted.to are not.in ℕ

All which canNOT be counted.to are not.in ℕ_def.

∀n ∈ ℕ_def: ∃^ℵo m ∈ ℕ, m > n.
∀n ∈ ℕ: ~∃^ℵo n ∈ (ℝ\ℕ).

Regards, WM