ヘンキン公理

言語 $L$ の論理式 $\varphi$ と変数 $x$ の組で $\mathrm{FV}(\varphi)\subseteq\{x\}$ を満たすものそれぞれに、新しい定数記号 $c_{\varphi,x}$ を用意し、$L$ にこれらを加えた言語を $L^{+}$ と書く。ヘンキン公理とは $L^{+}$ の文

である。$L$ の論理式すべてについてのヘンキン公理の集合を $H(L)$ と書く。