Für die
reellen Zahlen gelten folgende Aussagen über dem Symbolalphabet
- Die Axiome eines
angeordneten Körpers.
- Für jedes ungerade
gilt
-
- Für jedes gerade
gilt
-
- Für jeden
-Ausdruck
in einer freien Variablen
gilt
-
- Für jeden
-Ausdruck
in einer freien Variablen
gilt
-