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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.

Eine Lösung erstellen