定義自体にゲーデル数化は必要なくない? ほかの言語で定義する際に必要になるだけで