全称論理ろんり式における変数記号へんすうきごうの出現

$i$ を $1,2,\ldots$ のいずれかとする。

$v_1,v_2,\ldots$ を 変数記号、$\varphi$ を 原始言語の論理式 とする。

原始言語の全称論理式 $\forall v_i\,\varphi$ に対して、

$\forall v_i\,\varphi$ における変数記号の出現 を 全称記号の直後の $v_i$ と $\varphi$ における変数記号の出現 で定める。

ただし、$\forall v_i\,\varphi$ における変数記号の出現 において、全称記号の直後の $v_i$ と、$\varphi$ における変数記号の出現における $v_i$ は区別する。