>>730
ゲーデル数を割り当てるコード化と、関数を集合で記述する「コード化」はやってることが全く違うのは理解できる？