ゲルフォント＝シュナイダーの定理
ゲルフォント=シュナイダーの定理 (ゲルフォント=シュナイダーのていり、英: Gelfond–Schneider's theorem) は、指数関数の値の超越性に関する定理である。1934年に、アレクサンドル・ゲルフォント(英語版)とテオドール・シュナイダー(英語版)によって、それぞれ独立に証明された。
α 1 , α 2 {\displaystyle \alpha _{1},\alpha _{2}} を 0, 1 以外の代数的数とする。 log  α 1 / log  α 2 {\displaystyle \log \alpha _{1}/\log \alpha _{2}} は、有理数であるか超越数である。