コトバンクはYahoo!辞書と技術提携しています。

ラッセル‐フォークト原理 Russell-Vogt theorem