vielleicht kennst du den Körper Q(√2) = { a+b√2 | a,b aus Q } und + und * sind
wie in IR definiert. Und für a und b die Anordnung wie in Q.
Wenn du n un definierst √2 > 0 dann klappen alle Anforderungen an eine
Anordnung, aber auch wenn du definierst √2 < 0 .
Also hast du auf dem gleichen Körper zwei verschiedene Anordnungen.