>>479
大概の Recursion Theory の本には証明が載ってるよ。
Boundedness principle というものの帰結の一つで
算術的に限らず Σ^1_1 まで拡げられる。