限制岁在一个低阶公式(一阶公式)A的所有尸极小(化模型中都为真的一个较高阶公式(二阶公式)，这J尸是A中相对于一定准则的极小变量.直观上，{制的基本思想是捕捉一种猜测推理的经济原则，I从某些事实A出发能够推出具有某一性质尸的歹象就是满足尸的全部对象.令A(P,x)是一个包含谓词P与变元x的一l
句子，语义上，A中限制尸，是相对于一个偏序毛的所有尸极小模型都为真的句子集，一个A的模2M称为极小的，若不存在它的其他模型M‘使得几镇PM，定义镇P如下:令Mi}t=1,2}，是两个模型M,
其中p是谓词变元，A(p,x)是A中以p替换P的
结果.