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

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


Ein Körper heißt angeordnet, wenn es eine totale Ordnung auf gibt, die die beiden Eigenschaften

  1. Aus folgt (für beliebige ),
  2. Aus und folgt (für beliebige ),

erfüllt.