Path: ...!news.nobody.at!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>
Newsgroups: sci.math
Subject: Re: More complex numbers than reals?
Date: Wed, 10 Jul 2024 17:28:15 -0700
Organization: A noiseless patient Spider
Lines: 27
Message-ID: <v6n8v0$23rhi$3@dont-email.me>
References: <v6ihi1$18sp0$6@dont-email.me> <87msmqrbaq.fsf@bsb.me.uk>
 <0dUETcjzkRZSIY0ZGKDH2IRJuYQ@jntp> <87v81epj5v.fsf@bsb.me.uk>
 <v6k216$1g6tr$3@dont-email.me> <878qyap1tg.fsf@bsb.me.uk>
 <v6mu4b$22opo$2@dont-email.me> <871q40olca.fsf@bsb.me.uk>
 <v6n880$23rgt$2@dont-email.me> <v6n8nt$2436h$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 11 Jul 2024 02:28:16 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9e4d47bab28597d7f8b7db1375a7cff9";
	logging-data="2223666"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+7wj+FsXxPt6TFRDDI/zf6Yf2ncGilUKk="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:uw1l4fX1ibKS20J4dT7bLxuS9Lk=
In-Reply-To: <v6n8nt$2436h$3@dont-email.me>
Content-Language: en-US
Bytes: 2139

On 7/10/2024 5:24 PM, Moebius wrote:
> Am 11.07.2024 um 02:16 schrieb Chris M. Thomasson:
> 
>> {a, b, c} vs { 3, 4, 5 }
>>
>> Both have the same number of elements, [...]
> 
> HOW do you know that? Please define (for any sets A, B):
> 
>      A and B /have the same number of elements/ iff ___________________ .
> 
> (i.e. fill out the blanks). :-)
> 
> Hint: That's what Ben Bacarisse is asking for.
> 
> Sure, it's "obvious" for us. But how would you define "have the same 
> number of elements" (in mathematical terms) such that it can be DEDUCED 
> (!) für certain sets A and B?
> 
> ________________________________________
> 
> Ok, I'm slighty vicious now... :-)
> 
> If a = b = c, {a, b, c} still has "the same number of elements" as {3, 
> 4, 5 }? :-P

I see {a, b, c} and {3, 4, 5} and think three elements.