Основное логарифмическое тождество
Из определения логарифма следует основное логарифмическое тождество[7]:

Следствие: из равенства двух вещественных логарифмов следует равенство логарифмируемых выражений. В самом деле, если
, то
, откуда, согласно основному тождеству: 