自由変項が1つの論理式がある集合を言及する
自由変項
が1つの論理式は，（その自由変項が示す領域の）集合を言及する．
すなわち，
$ \exists v_1(x = 2 \times v_1)
は自由変項を
$ x
とした論理式であり，
この論理式は2の倍数すべてを言及する．
変項がそれぞれ自然数として解釈され，演算子が適切に解釈されるなら．
もちろん自由変数が
$ n
個の論理式は，
$ n
次元の領域
$ \mathbb{U}
すなわち
$ \mathbb{U}^n
を言及する．
Gödel数
，
Gödelの不完全性定理