Say that a formula φ(x) defines a real number if there is exactly one real number r such that φ(r) holds.
Angenommen, eine Formel φ (x) definiert eine reelle Zahl, wenn es genau eine reelle Zahl r gibt, so dass φ(r) gilt.