>>219
言語は当然定義しないとダメだよ

◯◯言語による記述
ゲーデル数がn以下の物の中で実数の定義になってる物だけを選んで
その中の最大値をf(n)とする
n以下で実数の定義になってる物が1個もなければ
f(n)=0とでもしておく

あとは言語を定義するだけ