欣迪卡集

对下列条件成立的一阶语言L的公式集Φ(语言L以，→，作初始符号)：

(1)如果A是原子公式，则A和A二者不都属于Φ(即：如果A∈Φ，则AΦ)。

(2)如果A∈Φ，则A∈Φ。

(3)如果A→B∈Φ，则A∈Φ或B∈Φ。

(4)如果(A→B)∈Φ，则A∈Φ并且B∈Φ。

(5)如果xA∈Φ，则对每一L中的项t，A(x／t)∈Φ。

(6)如果xA∈Φ，则对某个L中的项t，A(x／t)∈Φ。

如果L是一带等词的语言，则还满足：

(7)对每一L中的项t，t=t∈Φ。

(8)如果f是L的一个n元函数符号并且t，…，t是项，则公式

t1=t→(t=t→(…→(t=t→f(t，…，t)=f(t，…，t))…))属于Φ。

(9)如果F是L的一个n元谓词符号并且t，…，t是项，则公式

t1=t→(t=t→(…→(t=t→(F(t，…，)→F(t，…，t)))…))属于Φ。(对n=2，F可以是=。)

欣迪卡集是可满足的，或者说是有模型的。欣迪卡集可用于一阶逻辑的完全性证明。