受限公式

受限公式(bounded formula)亦稱D。公式或受囿公式.只用受限量詞的公式.受限公式由下列規則生成: 1.原子公式為受限公式. 2.若甲，滬為受限公式，則門甲，甲八s}}s}V s}}}' S} } }P`-' S}為受限公式. 3.若甲為受限公式，則形為歸xEy卯及(bx E y卯的公式為受限公式. 通常把形為bxEy}}xEy的量詞稱為受限量詞.因此，受限公式即為所有量詞均為受限量詞的公式.在ZF公理系統下，許多集合論基本概念可以用受限公式表達.如:xCy可表達為}}zEx(} zE y>>z-}x}y}可表達為

受限公式對ZF系統的任何可傳模型絕對，因此用受限公式描述的集合論概念在不同的可傳集合論模型中性質保持不變.這一性質在集合論相容性與獨立性證明中有非常廣泛的套用.