模型论力迫是借鉴于力迫法而得到的一类构作模型的方法.模型论力迫(model theoretic forcing)借鉴于力迫法而得到的一类构作模型的方法.这里只介绍其中较简单的有限力迫的概念.设语言丫可数语言.T为为穿中的协调理论,令W=}Uc,其中c为一可数无限的新常元集.设s是由进之,中有限原子语句或原子语句的否定所成的集合,如果rUs协调.则称s是一个r条件(注意:空集是T条件).设尸是一个T条件,对于}r中的语句沪,按其结构如下归纳地定义概念"尸力迫尹,记为尸卜抓或必要时记为尸卜T卯: