---
tag: 6P3KG89G4J
kind: concept
name: Interpolation theorem
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section I
    note: adopted
    mention: wikipedia://en/76765067#I951
    sections: [Summary]
inventory: [6M0K4D8R0G]
---

## Summary

A result stating that if a formula $A \rightarrow B$ is provable, then there exists a formula $C$ containing only the non-logical symbols common to $A$ and $B$ such that $A \rightarrow C$ and $C \rightarrow B$ are both provable.