論理ろんり式における自由変数記号へんすうきごう

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

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

$\varphi$ における変数記号の出現 のうちに $v_i$ の 自由な出現 があるとき、$v_i$ を $\varphi$ における 自由変数記号 とよぶ。