>>724
ゲーデル数はコード化のひとつだよ。任意の算術の論理式を算術の議論対象である自然数に一意的に割り当てるから。
同じように任意の関数を集合論の議論対象である集合に一意的に割り当てることをコード化と呼べない理由は？　コード＝数という理由なら頭が固い。集合論では数も集合にコード化される。頭の固い人は数学に向かない。