满足下列条件的一阶语言L(L中以、→、作初始符号)的任何公式集：(1)它是极大协调的。(2)如果公式xA属于它，则对某个项t，A(x／t)也属于它。亨金集是A．亨金在证明完全性定理时构造的。亨金集有一个重要的性质，即亨金集是可满足的，或者说是有模型的。
、→、