Exponential Function is Well-Defined/Real/Proof 4
Let $x \in \R$ be a real number.
Let $\exp x$ be the exponential of $x$.
Then $\exp x$ is well-defined.
This proof assumes the definition of the exponential as the inverse of the logarithm.
Hence the result, from Inverse Mapping is Unique.