クレイグの補間定理

3行要約

1. 論理学において、AがBを包含する時、両者の共通概念のみを含む中間的な命題が存在する定理。
2. 一階述語論理の重要な性質であり、理論の分割や定義可能性の研究に用いられる。
3. ウィリアム・クレイグによって1957年に証明された。