力迫语言((forcing language)一种一阶语言，它由一个二元关系符任及若干常量符构成。不同的力迫构造，用的力迫语言通常也不同一般地，若M为力迫基模型，则力迫语言除含二元关系符任外，还含M中每个元素的一个名及兼纳集的名，有些力迫构造还提供了对兼纳扩充M的每个潜在元素的名.一旦选择了一个兼纳集G，则每个力迫语言的常元都被解释为模型M中的一个元素，相反，M中的每个命题也可以用力迫语言来描述.根据这种对应关系，兼纳模型M 的性质就可以用力迫语言来描述.虽然集合论语言不包含力迫语言中引人的一些新常量，然而对力迫语言中的每个常量可以用类似于哥德尔编码的方式将其用基模型M中的惟一的元素表示之.这样，力迫语言中的每个语句也对应于M中的一个语句，从而力迫关系就可以在M中定义，兼纳扩充M 中的每个元素也可以用M中的无素指称.