Exponential Function is Well-Defined/Real

Theorem
Let $x \in \R$ be a real number.

Let $\exp x$ be the exponential of $x$.

Then $\exp x$ is well-defined.