Craigの補間定理
https://en.wikipedia.org/wiki/Craig_interpolation
異なる論理の理論間の補間に関する定理
#論理学