ただし、整論理式を構成する全ての項は一階の項（一階の変項で置換可能）か二階の項（適切な種の二階の変項で置換可能）でなければならない。
但是它们是受限制于它们形成的所有项必须要么是一阶项（它可以代换一阶变量）要么是二阶项（它可以代换适当种类的二阶变量）。