Ganze Zahlen/Negative Zahlen/Direkt/Ordnung/Eigenschaften/Fakt/Beweis

Beweis
  1. Dies folgt unmittelbar aus der Definition.
  2. Wenn ist, so folgt unmittelbar aus der Definition. Wenn hingegen negativ ist, so ist nach dem zweiten Teil der Definition und Gleichheit ist wegen negativ ausgeschlossen.
  3. Dies folgt direkt aus Teil (2) und der Definition der Negation.
  4. Wegen (3) und da eine totale Ordnung vorliegt, müssen wir nur die Richtung von links nach rechts zeigen. Es sei also . Bei ist die Aussage klar, da dann die Differenz innerhalb der natürlichen Zahlen bleibt. Bei positivem und negativem ist die Aussage auch klar, seien also beide Zahlen negativ. Dann ist nach Definition (in ) und das schon Bewiesene zeigt
  5. Folgt aus (4), da

    ist.

  6. Folgt aus (4) und Fakt  (5).
  7. Folgt aus (4) und (3).