Prädikatenlogik/Körper/Axiomatisiere/Aufgabe

Axiomatisiere den Körperbegriff in einer geeigneten Sprache erster Stufe.


Eine Menge heißt ein Körper, wenn es zwei Verknüpfungen (genannt Addition und Multiplikation)

und zwei verschiedene Elemente gibt, die die folgenden Eigenschaften erfüllen.

  1. Axiome der Addition
    1. Assoziativgesetz: Für alle gilt: .
    2. Kommutativgesetz: Für alle gilt .
    3. ist das neutrale Element der Addition, d.h. für alle ist .
    4. Existenz des Negativen: Zu jedem gibt es ein Element mit .
  2. Axiome der Multiplikation
    1. Assoziativgesetz: Für alle gilt: .
    2. Kommutativgesetz: Für alle gilt .
    3. ist das neutrale Element der Multiplikation, d.h. für alle ist .
    4. Existenz des Inversen: Zu jedem mit gibt es ein Element mit .
  3. Distributivgesetz: Für alle gilt .