ゲーデル数
The Gödel numbering function g can be chosen to be total recursive.