ゲーデルの算術化で帰納的関数全体は可算になる？
もっと具体的な証明が知りたいなあ