Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Moebius Newsgroups: sci.logic,sci.math Subject: Re: Replacement of Cardinality Date: Fri, 16 Aug 2024 01:57:57 +0200 Organization: A noiseless patient Spider Lines: 21 Message-ID: References: <75e2ce0e-7df8-4266-968b-9c58e4140b03@att.net> <35d8c0a1-dab3-4c15-8f24-068e8200cb07@att.net> <4412ba58-855f-401d-9fd0-879d5cb50062@att.net> <219eed30-9918-4759-9b7e-826088fc91c9@att.net> <0aae40c7-1092-4b12-99dc-290aa5a94021@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: Fri, 16 Aug 2024 01:57:57 +0200 (CEST) Injection-Info: dont-email.me; posting-host="8de5541c6b599521b97afbd172dfb739"; logging-data="1190320"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/Ts/Oksfumz3jcHMc92j2Q" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:Jm3zjFM0vqLR5i78VoxrQrUHxn8= Content-Language: de-DE In-Reply-To: Bytes: 2216 Am 16.08.2024 um 01:11 schrieb Moebius: > Am 16.08.2024 um 00:51 schrieb Jim Burns: >> On 8/15/2024 3:37 PM, Moebius wrote: >>> Am 15.08.2024 um 21:28 schrieb Jim Burns: >> >>>> Defining ⅟𝔊 to be the smallest unit fraction >>>> isn't a claim that ⅟𝔊 exists. >>> >>> You need an existence proof [...] and a proof of uniqueness >>> BEFORE stating a/the proper definition. >> >> Proving that [a unique] mimsy borogove exist[s] >> before defining [the] mimsy borogove >> seems like a pretty steep hill to climb. Hint: That's exactly, what we have to do in math. Seriously. :-)