形式化されたChaitinの不完全性定理
Kikuchi M., "Kolmogorov Complexity and the Second Incompleteness Theorem"
の3.3などを参照