本質的に決定不能
本質的決定不能性
を見よ.