| Deutsch English Français Italiano |
|
<v9m4m5$14adg$8@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!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: Fri, 16 Aug 2024 01:57:57 +0200 Organization: A noiseless patient Spider Lines: 21 Message-ID: <v9m4m5$14adg$8@dont-email.me> References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp> <75e2ce0e-7df8-4266-968b-9c58e4140b03@att.net> <RCAlRuRy_RKB_tYItKJs7fNcIs0@jntp> <35d8c0a1-dab3-4c15-8f24-068e8200cb07@att.net> <sglIw8p3PCeHivaAhg-7IVZCN4A@jntp> <c3b058c033321a59844da1fa46c5ac85a4b6566c@i2pn2.org> <mH8M1Rqfb7VYix0Wa0ZP-U89eG4@jntp> <4412ba58-855f-401d-9fd0-879d5cb50062@att.net> <CYrSgRVL0Y9qT9pbZDtRgAv0Juo@jntp> <219eed30-9918-4759-9b7e-826088fc91c9@att.net> <xisJXSuqF8w8nqMJNrXzPaSyU-4@jntp> <a2f6c659-4326-4cc6-b4df-0720ab07e61d@att.net> <v9lle5$12mrh$1@dont-email.me> <0aae40c7-1092-4b12-99dc-290aa5a94021@att.net> <v9m1vq$14adg$2@dont-email.me> 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: <v9m1vq$14adg$2@dont-email.me> 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. :-)