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