0223132人目の素数さん垢版 | 大砲2018/08/26(日) 11:19:15.19ID:T0UhBmfF >>219 言語は当然定義しないとダメだよ ◯◯言語による記述 ゲーデル数がn以下の物の中で実数の定義になってる物だけを選んで その中の最大値をf(n)とする n以下で実数の定義になってる物が1個もなければ f(n)=0とでもしておく あとは言語を定義するだけ