モデル理論的には、コンパクト性、否定、論理積が存在するとき、Robinson'sjointconsistencytheoremとクレイグの補間定理は等価である。
与逻辑实证主义与波普尔证伪主义不同，库恩与拉卡托斯的科学划界标准都是历史的与相对的。