This is an old revision of the document!
Natural logarithm of real numbers
Function
| definiendum | $\mathrm{ln}:\mathbb R_+^*\to \mathbb R$ |
| postulate | $\mathrm{ln}=\mathrm{exp}^{-1}$ |
$\int_0^y \frac {1 } {1+x } {\mathrm d}x = \ln(1+y) $
Subset of
Context
