模型论力迫是借鉴于力迫法而得到的一类构作模型的方法。

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