ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P3311 on R3232: Value of standard logarithm function at its parameter value
P3311
Directly from the definition, we have \begin{equation} \log_a a = \frac{\log_e a}{\log_e a} = 1 \end{equation} $\square$