ゲーデルの加速定理

3行要約

1. より強力な公理系を用いることで、ある定理の証明の長さを劇的に短縮できるという定理。
2. 下位の系では膨大な長さが必要な証明も、上位の系では非常に簡潔に記述できる場合がある。
3. 計算の複雑さと論理系の強さの関係を示す、メタ数学的な重要な知見である。