しおもな
まずゲーデル数の話をしているとは>>882では思わなかったが
ゲーデル数の本質は論理式の文字列としての自然数への算術的な埋め込みでありそれ自体には自由変数束縛変数の区別はない
そしてそこでの
>>895
>、代入、証明
の算術化において自由変数を抜き出すために
限量子に限定されている範囲を認識することが意味論的にではなくただの文字列上で可能であることが認識できさえしていれば良いということが分かるわけ
あとは演習問題