Remix.run Logo
bell-cot 3 hours ago

In a word - "true".

In more words - it's interesting, but messy:

https://en.wikipedia.org/wiki/Partial_order

https://en.wikipedia.org/wiki/Ordered_field

> The complex numbers also cannot be turned into an ordered field, as −1 is a square of the imaginary unit i.