クレイグの補間定理
クレイグの補間定理(英: Craig's interpolation theorem)は論理学における定理であり、論理体系によってその定義が異なる。William Craig が1957年、一階述語論理について証明したのが最初である。クレイグの補題とも。