Path: ...!Xl.tags.giganews.com!local-3.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sat, 01 Mar 2025 15:43:56 +0000
Subject: Re: What if Carl Friedrich Gauss was wrong?
Newsgroups: sci.math
References: <-MvgczGtFJd17GUfLbFEwftUJTo@jntp> <vptotn$3tree$1@dont-email.me>
 <EAKdnd_E-bxo7V_6nZ2dnZfqn_GdnZ2d@giganews.com>
 <CWrY4DH73otG-Lx5hX591Q4YBKg@jntp>
From: Ross Finlayson <ross.a.finlayson@gmail.com>
Date: Sat, 1 Mar 2025 07:43:51 -0800
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <CWrY4DH73otG-Lx5hX591Q4YBKg@jntp>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <baacnWUeTP-htl76nZ2dnZfqnPUAAAAA@giganews.com>
Lines: 19
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-KjUlRM/Tyt1giYrO2VYLihJ+YkNjV6imM2jVBMS1icVqdCMYW8wVF2VR/F+CuOctwrJsNT6mxdKFYuE!7Q2+tNjp7kq9566UjunmfUowzZcczd7SDF8dIorzNdYKr9uRiydj3iFav+eWDs5Jg0DyNwUmtmc=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
Bytes: 1866

On 03/01/2025 06:52 AM, Python wrote:
> Le 01/03/2025 à 03:29, Ross Finlayson a écrit :
>> [snip nonsense]
>
>> Of course many people are familiar with the theorem that
>> the complex numbers are a complete ordered field and so
>> are the real numbers and that's unique up to isomorphism,
>> yet for example I wrote field operations equipping [-1, 1]
>> with field operations, another, different, complete ordered
>> field.
>
> Complex numbers form a complete field but NOT an ordered field.
>
>

Yeah, now that you mention it, an ordering would
be a bit contrived, ....