Path: ...!2.eu.feeder.erje.net!feeder.erje.net!proxad.net!feeder1-2.proxad.net!usenet-fr.net!pasdenom.info!from-devjntp
Message-ID: <CWrY4DH73otG-Lx5hX591Q4YBKg@jntp>
JNTP-Route: nemoweb.net
JNTP-DataType: Article
Subject: Re: What if Carl Friedrich Gauss was =?UTF-8?Q?wrong=3F?=
References: <-MvgczGtFJd17GUfLbFEwftUJTo@jntp> <vptotn$3tree$1@dont-email.me> <EAKdnd_E-bxo7V_6nZ2dnZfqn_GdnZ2d@giganews.com>
Newsgroups: sci.math
JNTP-HashClient: m-ha1HP4PtO5KjQgoE1_ipDJx6Q
JNTP-ThreadID: m8KHm582okkaNXjX4fQv3uC1M3g
JNTP-Uri: https://www.nemoweb.net/?DataID=CWrY4DH73otG-Lx5hX591Q4YBKg@jntp
User-Agent: Nemo/1.0
JNTP-OriginServer: nemoweb.net
Date: Sat, 01 Mar 25 14:52:46 +0000
Organization: Nemoweb
JNTP-Browser: Mozilla/5.0 (X11; Linux x86_64; rv:128.0) Gecko/20100101 Firefox/128.0
Injection-Info: nemoweb.net; posting-host="65c923d70161aea3982f58005b958e244f49648e"; logging-data="2025-03-01T14:52:46Z/9226523"; posting-account="190@nemoweb.net"; mail-complaints-to="julien.arlandis@gmail.com"
JNTP-ProtocolVersion: 0.21.1
JNTP-Server: PhpNemoServer/0.94.5
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-JNTP-JsonNewsGateway: 0.96
From: Python <jp@python.invalid>
Bytes: 1755
Lines: 12

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.