:
,

,



gibt es

Eine nicht leere Menge
zusammen mit einer Abbildung
, durch die je zwei
Elemente
das Element
zugeordnet wird und die folgenden
Eigenschaften besitzt, heißt Gruppe:

,
,
mit

gibt es ein
mit
Gilt zusätzlich:
, so heißt
abelsche Gruppe
Die reellen Zahlen bilden eine Menge mit den Verknüpfungen + und
:

Sowie einer Anordnung, die durch eine Teilmenge
, den Positivitätsbereich,
gegeben wird. Für diese Daten müssen erfüllt sein:
bilden eine abelsche Gruppe mit der 0 als neutrales Element und
als Inversen zu
.
ist eine abelsche Gruppe mit der 1
als neutrales Element und mit
als Inversen zu
.
Es gilt das Distributivgesetz:

,
,
Zu gegebenen Zahlen
gibt es genau eine Zahl
.
Zu gegeben Zahlen
gibt es genau ein
mit
. Nun
gilt:




Wir betrachten nun folgende Gleichung:

Diese soll nun gelöst werden:
Die Gleichung wird durch
,
und 1 gelöst.
Die Elemente von
heißen positive Zahlen. Diese sind durch die folgenden
Axiome gekennzeichnet:
Bezeichnung: Für
schreiben wir
.
|
Wir definieren folgendes:
|
Für welche
gilt
?

Für
gilt:

Alle
, die als Lösung möglich sind, sind
.


Wir stellen folgende Behauptung auf:

Diese Aussage ist nun zu beweisen:



Es ist folgende Aussage zu beweisen: Für
gilt
.