エルブランの定理

エルブランの定理（英: Herbrand's theorem）は1930年にジャック・エルブランが発表した数理論理学上の基本定理である。エルブランの定理は様々な表現方法があるが、単純には以下のように表現できる。