カット除去定理

3行要約

1. 形式論理学において、証明図から「カット」と呼ばれる中間ステップを取り除けるという定理。
2. 任意の証明は、遠回りせずに直接的な推論のみで構成できることを数学的に示した。
3. 計算機科学における型理論や、自動定理証明のアルゴリズムの基礎となっている。