Prädikatenlogik/Angeordneter Körper/Axiomatisiere/Aufgabe

Axiomatisiere den Begriff eines angeordneten Körpers in einer geeigneten Sprache erster Stufe.

Ein Körper ${}K$ heißt angeordnet, wenn es eine totale Ordnung ${}\geq$ auf ${}K$ gibt, die die beiden Eigenschaften

1. Aus  ${}a\geq b$  folgt  ${}a+c\geq b+c$  (für beliebige ${}a,b,c\in K$),
2. Aus  ${}a\geq 0$  und  ${}b\geq 0$  folgt  ${}ab\geq 0$  (für beliebige ${}a,b\in K$),

erfüllt.

Eine Lösung erstellen