Ich hab auch keine Ahnung, wie das geht. Wäre cool, wenn jemand das erklären würde. Der angeordnete Körper kann auch (K,P) sein für die positiven Zahlen P. Dann sind die Axiome:
P1) K = P disjunkt {0} disjunkt -P
P2) P + P ⊆ P
P3) P * P ⊆ P
Man kann dann für (K,P) eine Relation definieren x<y sodass für alle x,y∈K gilt:
x<y ⇔ y-x ∈P
Aber wie folgert man a) bis d) daraus???