Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Moebius <invalid@example.invalid>
Newsgroups: sci.logic,sci.math
Subject: Re: Replacement of Cardinality
Date: Wed, 21 Aug 2024 02:16:56 +0200
Organization: A noiseless patient Spider
Lines: 26
Message-ID: <va3blp$3ih6p$1@dont-email.me>
References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp>
 <9ef8dd8a-69be-44e2-bcf6-ea9c1fb30e21@att.net>
 <LHtSphVaxvF9i9lsFtvEfbB4PS8@jntp>
 <92189533-0c1f-4532-816f-564651cc8bf7@att.net>
 <zzRMVwrDvZCAHeIta8vMnBBxp8E@jntp>
 <c4bbc4d3-26b3-4e53-9c82-87c8396d155d@att.net>
 <UxK9-w52mbKHJ77U1V4M6I24HeY@jntp>
 <c8abcebe-b826-45de-8507-71521bf2d6a7@att.net> <v9vune$2unef$1@dont-email.me>
 <b476ed29-d093-47ac-b16d-a64ee620e79b@att.net>
 <J3NuQSpglS65L-_3eT5X2z97Eqg@jntp>
 <b660a922-3af8-4224-9c66-a750f48ec63b@att.net>
Reply-To: invalid@example.invalid
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 21 Aug 2024 02:16:57 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="21c9effc867d4e4c3628671accd19e4d";
	logging-data="3753177"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/kIkkGm1O7GT7eymX0KmXJ"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:M6ekEOd/LJTJgY08aflk5iP57ew=
Content-Language: de-DE
In-Reply-To: <b660a922-3af8-4224-9c66-a750f48ec63b@att.net>
Bytes: 2057

Am 20.08.2024 um 22:05 schrieb Jim Burns:
> On 8/20/2024 9:07 AM, WM wrote:

>> 0 is the greatest lower bound
>> because
>> every greater number can be undercut by
>> a [...] unit fraction.

Right.

>> Dark unit fractions cannot be defined.

Right. Since there are no such unit fractions. Simple as that.

>> The GLB that can be defined is 0.

Errr... Well, yes. And now?

> And 0 is glb.⅟ℕᵈᵉᶠ not.in ⅟ℕᵈᵉᶠ

Indeed! After all 0 is not a unit fraction.

>> It starts from 0.

It? WM's asshole?