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

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

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

$\varphi$ における変数記号の出現 のうちに $v_i$ の 束縛された出現 があるとき、$v_i$ を $\varphi$ における 束縛変数記号 とよぶ。