ベイカーの定理
ベイカーの定理（ベイカーのていり、）とは、1966年-1968年にかけて、アラン・ベイカーによって発表された、対数関数の一次形式に対する線形独立性、および下界の評価に関する一連の定理のことである。
下界の評価が計算可能であることから、数論の様々な分野で応用されている。