スコーレム Albert Thoralf Skolem (1887-1967) ノルウェーの数学者・論理学者。ペル方程式と呼ばれる不定方程式を代数的方法によって解いた。また，一階の述語論理の限界を示す「レーベンハイム-スコーレムの定理」を証明した。